| 1972 | Effective Computability in Algebraic Structures (A Schematology Approach) | Denis J. Kfoury |
| 1972 | On the Decomposition of Asynchronous Systems | Robert M. Keller |
| 1972 | On the Equivalence of Asynchronous Control Structures | J. Robert Jump, P. S. Thiagarajan |
| 1972 | Fast Allocation Algorithms | David S. Johnson |
| 1972 | Output Sufficient Modules for Uniform Decomposition of Synchronous Sequential Circuits | C. C. Huang, Richard Y. Kain, Larry L. Kinney |
| 1972 | The Emptiness Problem for Automata on Infinite Trees | R. Hossley, Charles Rackoff |
| 1972 | The Efficient Calculation of Powers of Polynomials | Ellis Horowitz |
| 1972 | On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes | Joseph A. Goguen |
| 1972 | Some Results on the Effect of Arithmetics on Comparison Problems | Nathan Friedman |
| 1972 | Representing Program Schemes in Logic | John C. Cherniavsky, Robert L. Constable |
| 1972 | Consistency of Synchronization Nets using P and V Operations | John L. Bruno, Edward G. Coffman Jr., W. H. Hosken |
| 1972 | On Sets of Numbers Recognized by Push-Down Automata | Jean Berstel |
| 1972 | Reversal-Bounded Multi-Pushdown Machines: Extended Abstract | Brenda S. Baker, Ronald V. Book |
| 1972 | Universal Test Sets for Logic Networks | Sheldon B. Akers Jr. |
| 1971 | Languages for Defining Sets in Arbitrary Algebras | Eric G. Wagner |
| 1971 | Depth-First Search and Linear Graph Algorithms (Working Paper) | Robert Endre Tarjan |
| 1971 | Computation by Multi-Head Finite Automata | Ivan Hal Sudborough |
| 1971 | High Level Languages of Maximum Power | H. Raymond Strong |
| 1971 | NAND Cellular Arrays | D. A. Stern, Hwa C. Torng |
| 1971 | Complete Linear Proofs of Systems of Linear Inequalities | Philip M. Spira |
| 1971 | Two-Dimensional Formal Languages and Pattern Recognition by Cellular Automata | Alvy Ray Smith III |
| 1971 | Computing the Maximum and the Median | Edward M. Reingold |
| 1971 | Bounds on the Evaluation Time for Rational Polynomials | Mike Paterson, Larry J. Stockmeyer |
| 1971 | Universal Base Functions and Modules for Realizing Arbitrary Switching Functions | Mohamed Y. Osman, C. Dennis Weiss |
| 1971 | Optimal Algorithms for Parallel Polynomial Evaluation | J. Ian Munro, Mike Paterson |