| 1978 | Parallelism in Random Access Machines | Steven Fortune, James Wyllie |
| 1978 | An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal | I. S. Filotti |
| 1978 | Tree Transducers, L Systems and Two-Way Machines (Extended Abstract) | Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki |
| 1978 | Propositional Representation of Arithmetic Proofs (Preliminary Version) | Martin Dowd |
| 1978 | Anomaly Hierarchies of Mechanized Inductive Inference | John Case, Carl H. Smith |
| 1978 | Exact and Approximate Membership Testers | Larry Carter, Robert Floyd, John Gill, George Markowsky, Mark N. Wegman |
| 1978 | On Time-Space Classes and Their Relation to the Theory of Real Addition | Anni R. Bruss, Albert R. Meyer |
| 1978 | A Representation for Linear Lists with Movable Fingers | Mark R. Brown, Robert Endre Tarjan |
| 1978 | An Analysis of the Full Alpha-Beta Pruning Algorithm | Grard M. Baudet |
| 1977 | An Omega(n^2 log n) Lower Bound to the Shortest Paths Problem | Andrew Chi-Chih Yao, David Avis, Ronald L. Rivest |
| 1977 | Reference Machines Require Non-linear Time to Maintain Disjoint Sets | Robert Endre Tarjan |
| 1977 | Separating Tape Bounded Auxiliary Pushdown Automata Classes | Ivan Hal Sudborough |
| 1977 | Polynomial Reducibilities and Upward Diagonalizations | Istvn Simon, John Gill |
| 1977 | On Feasible Numbers (Preliminary Version) | Janos Simon |
| 1977 | The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) | George S. Sacerdote, Richard L. Tenney |
| 1977 | Nonserial Dynamic Programming Is Optimal | Arnie Rosenthal |
| 1977 | A Comparison of Instruction Sets for Stack Machines | Bhaskaram Prabhala, Ravi Sethi |
| 1977 | Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract) | Gary L. Peterson, Michael J. Fischer |
| 1977 | On Time Hierarchies | Wolfgang J. Paul |
| 1977 | Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic | Mike O'Donnell |
| 1977 | Graph Isomorphism, General Remarks | Gary L. Miller |
| 1977 | Efficient Reducibility Between Programming Systems: Preliminary Report | Nancy A. Lynch, Edward K. Blum |
| 1977 | New Real-Time Simulations of Multihead Tape Units | Benton L. Leong, Joel I. Seiferas |
| 1977 | Complexity of Finitely Presented Algebras | Dexter Kozen |
| 1977 | Computations with a Restricted Number of Nondeterministic Steps (Extended Abstract) | Chandra M. R. Kintala, Patrick C. Fischer |