| 1992 | Barbed Bisimulation. | Robin Milner, Davide Sangiorgi |
| 1992 | A Tail Estimate for Mulmuley's Segment Intersection Algorithm. | Jir Matousek, Raimund Seidel |
| 1992 | Randomized Interpolation and Approximation of Sparse Polynomials. | Yishay Mansour |
| 1992 | Philosophical Issues in Kolmogorov Complexity. | Ming Li, Paul M. B. Vitnyi |
| 1992 | Logic Programming Semantics Made Easy. | Els Laenens, Dirk Vermeir, Carlo Zaniolo |
| 1992 | The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable. | Daniel Krob |
| 1992 | Infinitary Logic for Computer Science. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1992 | How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems. | Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski |
| 1992 | Approximation Algorithms for Graph Augmentation. | Samir Khuller, Ramakrishna Thurimella |
| 1992 | Abelian Squares are Avoidable on 4 Letters. | Veikko Kernen |
| 1992 | Polynomial Size Test Sets for Context-Free Languages. | Juhani Karhumki, Wojciech Plandowski, Wojciech Rytter |
| 1992 | New Results Concerning Synchronized Finite Automata. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1992 | A Trace Semantics for Petri Nets (Extended Abstract). | P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1992 | What Good Are Digital Clocks? | Thomas A. Henzinger, Zohar Manna, Amir Pnueli |
| 1992 | Fast Integer Merging on the EREW PRAM. | Torben Hagerup |
| 1992 | Asynchronous Cellular Automata for Infinite Traces. | Paul Gastin, Antoine Petit |
| 1992 | Analytic Analysis of Algorithms. | Philippe Flajolet |
| 1992 | Program Composition via Unification. | Limor Fix, Nissim Francez, Orna Grumberg |
| 1992 | A Greibach Normal Form for Context-free Graph Grammars. | Joost Engelfriet |
| 1992 | Polynomial Hash Functions Are Reliable (Extended Abstract). | Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger |
| 1992 | Proved Trees. | Pierpaolo Degano, Corrado Priami |
| 1992 | On the Complexity of Dataflow Analysis of Logic Programs. | Saumya K. Debray |
| 1992 | Comparison of Abstract Interpretations. | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1992 | Completion of Rewrite Systems with Membership Constraints. | Hubert Comon |
| 1992 | Semi-Commutations and Rational Expressions. | Mireille Clerbout, Yves Roos, Wieslaw Zielonka |