On the Optimal Solutions to AND/OR Series-Parallel Graphs.
An Overview of the Theory of Computational Complexity.
On Effective Procedures for Speeding Up Algorithms.
A Cyclic-Queue Model of System Overhead in Multiprogrammed Computer Systems.
A Grammatical Characterization of One-Way Nondeterministic Stack Languages.
An Estimate of the Store Size Necessary for Dynamic Storage Allocation.
On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity.
Chow Parameters in Threshold Logic.
Some Parallel Thinning Algorithms for Digital Pictures.
An Accessing Model.
Probability Models for Buffer Storage Allocation Problems.
Minimal Sets of Distinct Literals for a Logically Passive Function.
Some Comments from a Numerical Analyst.
Deterministic Pushdown Store Machines and Real-Time Computation.
Simple Computation-Universal Cellular Spaces.
A Note on Degrees of Self-Describing Turing Machines.
Busy Period Analysis of a Time-Sharing System Modeled as a Semi-Markov Process.
The Runs Up-and-Down Performance of Tausworthe Pseudo-Random Number Generators.
Some Results Concerning the Reduction of Binary Matrices.
Numerical Analysis of a Nonlinear Diffusion Problem.
On the Topological Properties of Quantized Spaces, I. The Notion of Dimension.
Analysis of Remote Terminal Backlogs under Heavy Demand Conditions.
A Mathematical Method for Analyzing the Growth of a Scientific Discipline.