Polynomial-Time Aggregation of Integer Programming Problems
The Time for a Round Trip in a Cycle of Exponential Queues
Search Algorithms Under Different Kinds of Heuristics-A Comparative Study
Solving Linear Algebraic Equations on an MIMD Computer
Formulations and Algorithms for the Capacitated Minimal Directed Tree Problem
The Expressiveness of Simple and Second-Order Type Structures
Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
A Note on "A Note on Multiple Error Detection in ASCII Numeric Data Communication"
Bidirectional Heuristic Search Again
Implicit Data Structures for the Dictionary Problem
Locking Primitives in a Database System
Locking Expressions for Increased Database Concurrency
Formal Justification of a Proof System for Communicating Sequential Processes
A Supernormal-Form Theorem for Context-Free Grammars
Vector Execution of Flow Graphs