On the Structure of Armstrong Relations for Functional Dependencies.
Linear Programming in Linear Time When the Dimension Is Fixed.
Optimal Flow Control of an M/M/m Queue.
Priority Queues with Feedback.
Bounding Fan-out in Logical Networks.
A Fast Algorithm for the Two-Variable Integer Programming Problem.
Some Hamilton Paths and a Minimal Change Algorithm.
Random Trees and the Analysis of Branch and Bound Procedures.
Deciding Combinations of Theories.
Information Transfer in Distributed Computing with Applications to VLSI.
The Product Form for Sojourn Time Distributions in Cyclic Exponential Queues.
On compiling queries in recursive first-order databases.