| 1976 | A Consistent and Complete Deductive System for the Verification of Parallel Programs | Susan S. Owicki |
| 1976 | NP-Complete Decision Problems for Quadratic Polynomials | Kenneth L. Manders, Leonard M. Adleman |
| 1976 | Simple Gdel Numberings, Translations, and the P-Hierarchy | Michael Machtey, Paul Young |
| 1976 | Evaluation of Polynomials with Super-Preconditioning | Richard J. Lipton, Larry J. Stockmeyer |
| 1976 | Location of a Point in a Planar Subdivision and its Applications | D. T. Lee, Franco P. Preparata |
| 1976 | On Structuring Flowcharts (Preliminary Version) | S. Rao Kosaraju |
| 1976 | An Algebraic System for Process Structuring and Interprocess Communication | Takayuki Kimura |
| 1976 | A Useful Device for Showing the Solvability of Some Decision Problems | Oscar H. Ibarra, Chul E. Kim |
| 1976 | Dichotomization, Reachability, and the Forbidden Subgraph Problem (Extended Abstract) | Harry B. Hunt III, Thomas G. Szymanski |
| 1976 | Parallel Algorithms for the Transitive Closure and the Connected Component Problems | Daniel S. Hirschberg |
| 1976 | On Isomorphisms and Density of NP and Other Complete Sets | Juris Hartmanis, Leonard Berman |
| 1976 | The Analysis of Double Hashing (Extended Abstract) | Leonidas J. Guibas, Endre Szemerdi |
| 1976 | On Line Context Free Language Recognition in Less than Cubic Time (Extended Abstract) | Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo |
| 1976 | Some NP-Complete Geometric Problems | M. R. Garey, Ronald L. Graham, David S. Johnson |
| 1976 | Real-Time Algorithms for String-Matching and Palindrome Recognition | Zvi Galil |
| 1976 | Finding the Depth of a Flow Graph | Amelia C. Fong, Jeffrey D. Ullman |
| 1976 | On Abstractions of Parallel Programs | Thomas W. Doeppner Jr. |
| 1976 | Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report | E. Cardoza, Richard J. Lipton, Albert R. Meyer |
| 1976 | Associative Retrieval Trie Hash-Coding | Walter A. Burkhard |
| 1976 | Divide-and-Conquer in Multidimensional Space | Jon Louis Bentley, Michael Ian Shamos |
| 1975 | On Computing the Minima of Quadratic Forms (Preliminary Report) | Andrew Chi-Chih Yao |
| 1975 | Degree-Languages, Polynomial Time Recognition, and the LBA Problem | Detlef Wotschke |
| 1975 | On the Complexity of the Extended String-to-String Correction Problem | Robert A. Wagner |
| 1975 | On Non-linear Lower Bounds in Computational Complexity | Leslie G. Valiant |
| 1975 | On Decomposing Languages Defined by Parallel Devices | Sven Skyum |