PATRICIA - Practical Algorithm To Retrieve Information Coded in Alphanumeric.
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance.
Scheduling Parallel Computations.
Feedback Queueing Models for Time-Shared Systems.
Queueing Analysis of the IBM 2314 Disk Storage Facility.
Semantic Clustering of Index Terms.
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages.
A Formal Deductive Problem-Solving System.
A Theorem for the Stability of General Predictor-Corrector Methods for the Solution of Systems of Differential Equations.
Generalized Multistep Methods in Satellite Orbit Computation.
Degrees of Unsolvability in Formal Grammars.
Representation of Events in the von Neumann Cellular Model.
Indexed Grammars - An Extension of Context-Free Grammars.
A Correction Concerning Resolution.
The Influence of Data Base Characteristics and Usage on Direct Access File Organization.