On Time Versus Space.
Information Content of Programs and Operation Encoding.
Hashing Schemes for Extendible Arrays.
On Certain Output-Buffer Management Techniques--A Stochastic Model.
An Improved Bidirectional Heuristic Search Algorithm.
Covering Points of a Digraph with Point-Disjoint Paths and Its Application to Code Optimization.
Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors.
Algebras Having Linear Multiplicative Complexities.
Proof, Completeness, Transcendentals, and Sampling.
Even Simple Programs Are Hard To Analyze.
Product Form and Local Balance in Queueing Networks.
A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions.
The Power of Dominance Relations in Branch-and-Bound Algorithms.