| 1982 | Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information | Shafi Goldwasser, Silvio Micali |
| 1982 | The Tight Deterministic Time Hierarchy | Martin Frer |
| 1982 | A Probabilistic Dynamic Logic | Yishai A. Feldman, David Harel |
| 1982 | Decision Procedures and Expressiveness in the Temporal Logic of Branching Time | E. Allen Emerson, Joseph Y. Halpern |
| 1982 | Two Tapes are Better than One for Nondeterministic Machines | Pavol Duris, Zvi Galil |
| 1982 | Polynomial Algorithms for Multiple Processor Agreement | Danny Dolev, H. Raymond Strong |
| 1982 | Maintaining Order in a Linked List | Paul F. Dietz |
| 1982 | Cryptographic Protocols | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1982 | Denotational Semantics of Concurrency | J. W. de Bakker, Jeffery I. Zucker |
| 1982 | Bounds on the Time for Parallel RAM's to Compute Simple Functions | Stephen A. Cook, Cynthia Dwork |
| 1982 | The Theory of Signature Testing for VLSI | J. Lawrence Carter |
| 1982 | Finding Extremal Polygons | James E. Boyce, David P. Dobkin, Robert L. (Scot) Drysdale III, Leonidas J. Guibas |
| 1982 | Routing, Merging and Sorting on Parallel Models of Computation (Extended Abstract) | Allan Borodin, John E. Hopcroft |
| 1982 | How to Assemble Tree Machines (Extended Abstract) | Sandeep N. Bhatt, Charles E. Leiserson |
| 1982 | On Approximating a Vertex Cover for Planar Graphs | Reuven Bar-Yehuda, Shimon Even |
| 1982 | Fast Algorithms under the Extended Riemann Hypothesis: A Concrete Estimate | Eric Bach |
| 1982 | Isomorphism of Graphs with Bounded Eigenvalue Multiplicity | Lszl Babai, D. Yu. Grigoryev, David M. Mount |
| 1982 | Graph Problems on a Mesh-Connected Processor Array (Preliminary Version) | Mikhail J. Atallah, S. Rao Kosaraju |
| 1982 | Edge-Deletion and Edge-Contraction Problems | Takao Asano, Tomio Hirata |
| 1981 | The Entropic Limitations on VLSI Computations (Extended Abstract) | Andrew Chi-Chih Yao |
| 1981 | On the Parallel Computation for the Knapsack Problem | Andrew Chi-Chih Yao |
| 1981 | Issues of Correctness in Database Concurrency Control by Locking | Mihalis Yannakakis |
| 1981 | Universal Schemes for Parallel Communication | Leslie G. Valiant, Gordon J. Brebner |
| 1981 | LALR(k) Testing is PSPACE-Complete | Esko Ukkonen, Eljas Soisalon-Soininen |
| 1981 | Propositional Dynamic Logic of Looping and Converse | Robert S. Streett |