A Linear Time Planarity Algorithm for 2-Complexes.
Linear Algorithms for Isomorphism of Maximal Outerplanar Graphs.
Performance Measures for Ordered Lists in Random-Access Files.
An Evaluation of CPU Efficiency Under Dynamic Quantum Allocation.
The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems.
Reducibility Among Floating-Point Graphs.
The serializability of concurrent database updates.
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata.
Applications of Path Compression on Balanced Trees.
Encoding Data Structures in Trees.
Flowgraphs and Flow Algebras.
A Generalized Queueing Discipline for Product Form Network Solutions.
A Transformed implicit Runge-Kutta Method.
Improved Trailing Digits Estimates Applied to Optimal Computer Arithmetic.