Methods of Search for Solving Polynomial Equations.
An Approach to Solving Linear Discrete Optimization Problems.
On Limit Properties in Digitization Schemes.
An Algorithmic Semantics for ALGOL 60 Identifier Denotation.
Preemptive Scheduling of Real-Time Tasks on Multiprocessor Systems.
Application of the Method of Lines to Parabolic Partial Differential Equations With Error Estimates.
Kronecker Matrices, Computer Implementation, and Generalized Spectra.
Form and Content in Computer Science (1970 ACM turing lecture).
Connectivity and Reversibility in Automata.
A Feedback Queueing System With Batch Arrivals, Bulk Service, and Queue-Dependent Service Time.
Stability Analysis of a New Algorithm Used for Integrating a System of Ordinary Differential Equations.
A Programming Language With Automatic Goal Generation and Selection.
On Canonical Forms and Simplification.
Accelerating List Processing in Discrete Programming.
The Logical Complexity of Geometric Properties in the Plane.
Sequences of Numbers That Are Approximately Completely Equidistributed.
Computational Complexity and Probability Constructions.