| 1982 | A Layout Strategy for VLSI which Is Provably Good (Extended Abstract) Frank Thomson Leighton |
| 1982 | A New Approximate Graph Coloring Algorithm Avi Wigderson |
| 1982 | A Polynomial Reduction from Multivariate to Bivariate Integral Polynomial Factorization Erich L. Kaltofen |
| 1982 | A Probabilistic Dynamic Logic Yishai A. Feldman, David Harel |
| 1982 | A Technique for Proving Lower Bounds for Distributed Maximum-Finding Algorithms Jan K. Pachl, Ephraim Korach, Doron Rotem |
| 1982 | Bounds on the Time for Parallel RAM's to Compute Simple Functions Stephen A. Cook, Cynthia Dwork |
| 1982 | Communication Complexity Christos H. Papadimitriou, Michael Sipser |
| 1982 | Cryptographic Protocols Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1982 | Decidability of Reachability in Vector Addition Systems (Preliminary Version) S. Rao Kosaraju |
| 1982 | Decision Procedures and Expressiveness in the Temporal Logic of Branching Time E. Allen Emerson, Joseph Y. Halpern |
| 1982 | Denotational Semantics of Concurrency J. W. de Bakker, Jeffery I. Zucker |
| 1982 | Edge-Deletion and Edge-Contraction Problems Takao Asano, Tomio Hirata |
| 1982 | Ensembles Reconnaissables de Mots Biinfinis Maurice Nivat, Dominique Perrin |
| 1982 | Fast Algorithms under the Extended Riemann Hypothesis: A Concrete Estimate Eric Bach |
| 1982 | Finding Extremal Polygons James E. Boyce, David P. Dobkin, Robert L. (Scot) Drysdale III, Leonidas J. Guibas |
| 1982 | Graph Problems on a Mesh-Connected Processor Array (Preliminary Version) Mikhail J. Atallah, S. Rao Kosaraju |
| 1982 | How to Assemble Tree Machines (Extended Abstract) Sandeep N. Bhatt, Charles E. Leiserson |
| 1982 | How to Reuse a "Write-Once" Memory (Preliminary Version). Ronald L. Rivest, Adi Shamir |
| 1982 | Isomorphism of Graphs with Bounded Eigenvalue Multiplicity László Babai, D. Yu. Grigoryev, David M. Mount |
| 1982 | Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract) Kurt Mehlhorn, Erik Meineche Schmidt |
| 1982 | Maintaining Dense Sequential Files in a Dynamic Environment (Extended Abstract) Dan E. Willard |
| 1982 | Maintaining Order in a Linked List Paul F. Dietz |
| 1982 | Measuring Energy Consumption in VLSI Circuits: a Foundation Gloria Kissin |
| 1982 | Notes on Merging Networks (Preliminary Version) Zhu Hong, Robert Sedgewick |
| 1982 | On Approximating a Vertex Cover for Planar Graphs Reuven Bar-Yehuda, Shimon Even |
| 1982 | On the Random Oracle Hypothesis Stuart A. Kurtz |
| 1982 | On the Time Complexity of Broadcast Communication Schemes (Preliminary Version) Albert G. Greenberg |
| 1982 | Polynomial Algorithms for Multiple Processor Agreement Danny Dolev, H. Raymond Strong |
| 1982 | Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information Shafi Goldwasser, Silvio Micali |
| 1982 | Probabilistic Simulations (Preliminary Version) Nicholas Pippenger |
| 1982 | Probabilistic, Nondeterministic, and Alternating Decision Trees Udi Manber, Martin Tompa |
| 1982 | Proceedings of the 14th Annual ACM Symposium on Theory of Computing, May 5-7, 1982, San Francisco, California, USA Harry R. Lewis, Barbara B. Simons, Walter A. Burkhard, Lawrence H. Landweber |
| 1982 | Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines Paul M. B. Vitányi |
| 1982 | Relational Queries Computable in Polynomial Time (Extended Abstract) Neil Immerman |
| 1982 | Routing, Merging and Sorting on Parallel Models of Computation (Extended Abstract) Allan Borodin, John E. Hopcroft |
| 1982 | Space-Bounded Hierarchies and Probabilistic Computations Walter L. Ruzzo, Janos Simon, Martin Tompa |
| 1982 | Space-Time Tradeoff for Answering Range Queries (Extended Abstract) Andrew Chi-Chih Yao |
| 1982 | Symmetric Complementation John H. Reif |
| 1982 | The Complexity of Facets (and Some Facets of Complexity) Christos H. Papadimitriou, Mihalis Yannakakis |
| 1982 | The Complexity of Propositional Linear Temporal Logics A. Prasad Sistla, Edmund M. Clarke |
| 1982 | The Complexity of Relational Query Languages (Extended Abstract) Moshe Y. Vardi |
| 1982 | The Theory of Signature Testing for VLSI J. Lawrence Carter |
| 1982 | The Tight Deterministic Time Hierarchy Martin Fürer |
| 1982 | Trees, Automata, and Games Yuri Gurevich, Leo Harrington |
| 1982 | Two Tapes are Better than One for Nondeterministic Machines Pavol Duris, Zvi Galil |
| 1982 | Two-Dimensional Alternating Turing Machines Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi |