On conjunctive queries containing inequalities.
A vertex-allocation theorem for resources in queuing networks.
Many-sorted unification.
Automating program analysis.
A theory of reliability in database systems.
Optimal design and use of retry in fault-tolerant computer systems.
Greatest common divisors of polynomials given by straight-line programs.
Equivalence and optimization of relational transactions.
The complexity of searching a graph.
External hashing with limited internal storage.