| 1992 | A Greibach Normal Form for Context-free Graph Grammars. Joost Engelfriet |
| 1992 | A New Metric Between Polygons and How to Compute it. Günter Rote |
| 1992 | A Parametric Approach to Localities. Ugo Montanari, Daniel Yankelevich |
| 1992 | A Proposed Categorial Semantics for Pure ML. Wesley Phoa, Michael P. Fourman |
| 1992 | A Tail Estimate for Mulmuley's Segment Intersection Algorithm. Jirí Matousek, Raimund Seidel |
| 1992 | A Trace Semantics for Petri Nets (Extended Abstract). P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1992 | Abelian Squares are Avoidable on 4 Letters. Veikko Keränen |
| 1992 | Adaptive Pattern Matching. R. C. Sekar, R. Ramesh, I. V. Ramakrishnan |
| 1992 | Analytic Analysis of Algorithms. Philippe Flajolet |
| 1992 | Approximation Algorithms for Graph Augmentation. Samir Khuller, Ramakrishna Thurimella |
| 1992 | Asynchronous Cellular Automata for Infinite Traces. Paul Gastin, Antoine Petit |
| 1992 | Asynchronous Communication of Petri Nets and the Refinement of Transitions. Walter Vogler |
| 1992 | Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings Werner Kuich |
| 1992 | Barbed Bisimulation. Robin Milner, Davide Sangiorgi |
| 1992 | Behavioural Abstraction in TCCS. Faron Moller, Chris M. N. Tofts |
| 1992 | Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). Reinhard Bündgen |
| 1992 | Characterization of Temporal Property Classes. Edward Y. Chang, Zohar Manna, Amir Pnueli |
| 1992 | Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). Alexander Moshe Rabinovich |
| 1992 | Circuit Complexity and the Expressive Power of Generalized First-Order Formulas. Howard Straubing |
| 1992 | Comparison of Abstract Interpretations. Agostino Cortesi, Gilberto Filé, William H. Winsborough |
| 1992 | Completion of Rewrite Systems with Membership Constraints. Hubert Comon |
| 1992 | Disjunctive Systems and L-Domains. Guo-Qiang Zhang |
| 1992 | Fast Incremental Planarity Testing. Jeffery R. Westbrook |
| 1992 | Fast Integer Merging on the EREW PRAM. Torben Hagerup |
| 1992 | Gröbner Bases: An Introduction. Bruno Buchberger |
| 1992 | How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems. Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski |
| 1992 | Infinitary Logic for Computer Science. Phokion G. Kolaitis, Moshe Y. Vardi |
| 1992 | Interfaces between Languages for Communicating Systems. Ernst-Rüdiger Olderog |
| 1992 | Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). C.-H. Luke Ong |
| 1992 | Logic Programming Semantics Made Easy. Els Laenens, Dirk Vermeir, Carlo Zaniolo |
| 1992 | Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine. Bernard Chazelle, Burton Rosenberg |
| 1992 | Maintenance of Triconnected Components of Graphs (Extended Abstract). Johannes A. La Poutré |
| 1992 | Near-perfect Token Distribution. Andrei Z. Broder, Alan M. Frieze, Eli Shamir, Eli Upfal |
| 1992 | New Results Concerning Synchronized Finite Automata. Oscar H. Ibarra, Nicholas Q. Trân |
| 1992 | Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract). Jeffrey O. Shallit |
| 1992 | On Growing Context-Sensitive Languages. Gerhard Buntrock, Krzysztof Lorys |
| 1992 | On Nearest-Neighbor Graphs. Mike Paterson, F. Frances Yao |
| 1992 | On Reverse and General Definite Tree Languages (Extended Abstract). Pierre Péladeau, Andreas Podelski |
| 1992 | On the Complexity of Dataflow Analysis of Logic Programs. Saumya K. Debray |
| 1992 | One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier. Alfredo De Santis, Giuseppe Persiano, Moti Yung |
| 1992 | Optimal Parallel Algorithms for Periods, Palindromes and Squares (Extended Abstract). Alberto Apostolico, Dany Breslauer, Zvi Galil |
| 1992 | Philosophical Issues in Kolmogorov Complexity. Ming Li, Paul M. B. Vitányi |
| 1992 | Polynomial Hash Functions Are Reliable (Extended Abstract). Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger |
| 1992 | Polynomial Size Test Sets for Context-Free Languages. Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
| 1992 | Program Composition via Unification. Limor Fix, Nissim Francez, Orna Grumberg |
| 1992 | Proved Trees. Pierpaolo Degano, Corrado Priami |
| 1992 | Quasi-Deterministic 0L Systems. Taishin Y. Nishida |
| 1992 | Randomized Interpolation and Approximation of Sparse Polynomials. Yishay Mansour |
| 1992 | Reductions to Sets of Low Information Content. Vikraman Arvind, Yenjo Han, Lane A. Hemachandra, Johannes Köbler, Antoni Lozano, Martin Mundhenk, Mitsunori Ogiwara, Uwe Schöning, Riccardo Silvestri, Thomas Thierauf |
| 1992 | Semi-Commutations and Rational Expressions. Mireille Clerbout, Yves Roos, Wieslaw Zielonka |
| 1992 | Suboptimal Cuts: Their Enumeration, Weight and Number (Extended Abstract). Vijay V. Vazirani, Mihalis Yannakakis |
| 1992 | Testing Preorders for Probabilistic Processes. Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico |
| 1992 | The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. Ulrich Schmid |
| 1992 | The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable. Daniel Krob |
| 1992 | Timing Petri Nets Categorically. Carolyn Brown, Doug Gurr |
| 1992 | Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. Donald Sannella, Andrzej Tarlecki |
| 1992 | Two Strikes Against Perfect Phylogeny. Hans L. Bodlaender, Michael R. Fellows, Tandy J. Warnow |
| 1992 | UP and the Low and High Hierarchies: A Relativized Separation. Ming-Jye Sheu, Timothy J. Long |
| 1992 | What Good Are Digital Clocks? Thomas A. Henzinger, Zohar Manna, Amir Pnueli |