A Note on Feedback Queues with Bulk Service.
Real-Time Simulation of Multihead Tape Units.
An axiomatic approach to code optimization for expressions.
On the Optimality of Some Set Algorithms.
Bounds on Optimal Merge Performance, and a Strategy for Optimality.
A Note Concerning Nondeterministic Tape Complexities.
On the Covering and Reduction Problems for Context-Free Grammars.
Computational Work and Time on Finite Machines.
A Minimum Variance Sampling Technique for Simulation Models.
Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms.
Accelerated Algorithms for Labeling and Relabeling of Trees, with Applications to Distribution Problems.
Computer Approaches to the Representations of Lie Algebras.
The Generation of Minimal Trees with a Steiner Topology.