Efficiency of Synchronous Versus Asynchronous Distributed Systems
Optimal Search on Some Game Trees
The Complexity of Solving Polynomial Equations by Quadrature
Time-Space Trade-offs for Some Algebraic Problems
Properties of a Notation for Combining Functions
Instruction Sets for Evaluating Arithmetic Expressions
On the Desirability of Acyclic Database Schemes
Effective Axiomatizations of Hoare Logics
Robustness of Queuing Network Formulas
Degrees of Acyclicity for Hypergraphs and Relational Database Schemes
Parametric Combinatorial Computing and a Problem of Program Module Distribution
Refining Nondeterminism in Relativizations of Complexity Classes
Smallest-Last Ordering and clustering and Graph Coloring Algorithms
The Weak Byzantine Generals Problem
On the Simplification and Equivalence Problems for Straight-Line Programs
The Relative Neighborhood Graph, with an Application to Minimum Spanning Trees
Three-Dimensional VLSI: A Case Study