| 1977 | Finding a Minimum Circuit in a Graph | Alon Itai |
| 1977 | Parameter-Passing Mechanisms and Nondeterminism | Matthew Hennessy, Edward A. Ashcroft |
| 1977 | Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version) | Juris Hartmanis |
| 1977 | A Complete Axiomatic System for Proving Deductions about Recursive Programs | David Harel, Amir Pnueli, Jonathan Stavi |
| 1977 | Computability and Completeness in Logics of Programs (Preliminary Report) | David Harel, Albert R. Meyer, Vaughan R. Pratt |
| 1977 | A New Representation for Linear Lists | Leonidas J. Guibas, Edward M. McCreight, Michael F. Plass, Janet R. Roberts |
| 1977 | The Analysis of an Improved Hashing Technique | Gaston H. Gonnet, J. Ian Munro |
| 1977 | Propositional Modal Logic of Programs (Extended Abstract) | Michael J. Fischer, Richard E. Ladner |
| 1977 | On the Theory of Programming Logics | Robert L. Constable |
| 1977 | Optimal Implementation of Conjunctive Queries in Relational Data Bases | Ashok K. Chandra, Philip M. Merlin |
| 1977 | Universal Classes of Hash Functions (Extended Abstract) | Larry Carter, Mark N. Wegman |
| 1977 | The Complexity of Priority Queue Maintenance | Mark R. Brown |
| 1977 | Iteration Theorems for LL(k) Languages | John C. Beatty |
| 1977 | Fast Probabilistic Algorithms for Hamiltonian Circuits and Matchings | Dana Angluin, Leslie G. Valiant |
| 1977 | Reducibility, Randomness, and Intractability (Abstract) | Leonard M. Adleman, Kenneth L. Manders |
| 1976 | On the Average Behavior of Set Merging Algorithms (Extended Abstract) | Andrew Chi-Chih Yao |
| 1976 | A New Incompleteness Result for Hoare's System | Mitchell Wand |
| 1976 | Universal Circuits (Preliminary Report) | Leslie G. Valiant |
| 1976 | Sorting on a Mesh-Connected Parallel Computer | Clark D. Thompson, H. T. Kung |
| 1976 | On Deterministic Context-Free Languages, Multihead Automata, and the Power of an Auxiliary Pushdown Store | Ivan Hal Sudborough |
| 1976 | Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games | Thomas J. Schaefer |
| 1976 | The Realization of Monotone Boolean Functions (Preliminary Version) | Nicholas Pippenger |
| 1976 | Space Bounds for a Game of Graphs | Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni |
| 1976 | Linear Unification | Mike Paterson, Mark N. Wegman |
| 1976 | Some Complexity Results for the Traveling Salesman Problem | Christos H. Papadimitriou, Kenneth Steiglitz |