| 1971 | Economy of Description by Automata, Grammars, and Formal Systems | Albert R. Meyer, Michael J. Fischer |
| 1971 | Analysis of Sorting Algorithms | C. L. Liu |
| 1971 | On the Design of Easily Testable Sequential Machines | J. Richard Kane, Stephen S. Yau |
| 1971 | A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs | John E. Hopcroft, Richard M. Karp |
| 1971 | On Decreasing the Computing Time for Modular Arithmetic | Lee E. Heindel, Ellis Horowitz |
| 1971 | Synthesis of Asynchronous Sequential Circuits with Master-Slave Subcircuits | Graziano Frosini, Giovanni B. Gerace |
| 1971 | Boolean Matrix Multiplication and Transitive Closure | Michael J. Fischer, Albert R. Meyer |
| 1971 | Time Bounds on Space Computations | Michael L. Dertouzos |
| 1971 | On Classes of Program Schemata | Robert L. Constable, David Gries |
| 1971 | LR-Regular Grammars-An Extension of LR(k) Grammars | Rina S. Cohen, Karel Culk II |
| 1971 | Priority Paging Algorithms and the Extension Problem | Edward G. Coffman Jr., Neil D. Jones |
| 1971 | Toward a Weakly Invariant Complexity Theory | Walter A. Burkhard, F. W. Kroon |
| 1971 | Characterizations of Locally Testable Events | Janusz A. Brzozowski, Imre Simon |
| 1971 | On the Composition of Parallel Program Schemata | Wm. A. Brinsfield, Raymond E. Miller |
| 1971 | A Rectangular Logic Array | Sheldon B. Akers Jr. |
| 1971 | Effective Computation over the Real Numbers | Fred G. Abramson |
| 1970 | Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs | Bernard P. Zeigler |
| 1970 | On Star-Free Events | Yechezkel Zalcstein |
| 1970 | Asynchronous Sequential Switching Circuits with Unrestricted Input Changes | Stephen H. Unger |
| 1970 | Cellular Automata and Formal Languages | Alvy Ray Smith III |
| 1970 | Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks | Arie Shoshani, Edward G. Coffman Jr. |
| 1970 | Program Schemata as Automata: Part I | Joseph D. Rutledge |
| 1970 | Deterministic Left Corner Parsing (Extended Abstract) | Daniel J. Rosenkrantz, Philip M. Lewis II |
| 1970 | On the Optimality of Some Set and Vector Algorithms | Edward M. Reingold |
| 1970 | Tape-Bounds for Time-Bounded Turing Machines | Mike Paterson |