| 1992 | A Combinatorial Bound for Linear Programming and Related Problems. Micha Sharir, Emo Welzl |
| 1992 | A Competitive Analysis of Nearest Neighbor Based Algorithms for Searching Unknown Scenes (Preliminary Version). Bala Kalyanasundaram, Kirk Pruhs |
| 1992 | A Discrete Event Simulator of Communication Algorithms in Interconnection Networks. Miltos D. Grammatikakis, Jung-Sing Jwo |
| 1992 | A Nonlinear Lower Bound on the Practical Combinational Complexity. Xaver Gubás, Juraj Hromkovic, Juraj Waczulík |
| 1992 | A Plane-Sweep Algorithm for Finding a Closest Pair Among Convex Planar Objects. Frank Bartling, Klaus H. Hinrichs |
| 1992 | A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups. Jean-Marc Champarnaud |
| 1992 | A Simple Linear Time Algorithm for Triangulating Three-Colored Graphs. Hans L. Bodlaender, Ton Kloks |
| 1992 | A Simplified Technique for Hidden-Line Elimination in Terrains. Franco P. Preparata, Jeffrey Scott Vitter |
| 1992 | A Theory of Strict P-completeness. Anne Condon |
| 1992 | Alpha du Centaur: An Environment for the Design of Systolic Arrays. Hervé Le Verge |
| 1992 | An Interactive Proof Tool for Process Algebras. Huimin Lin |
| 1992 | Axiomatizations of Backtracking. Michel Billaud |
| 1992 | Broadcasting in Butterfly and DeBruijn Networks. Ralf Klasing, Burkhard Monien, Regine Peine, Elena Stöhr |
| 1992 | Characterizations of Some Complexity Classes Between Theta^p_2 and Delta^p_2. Jorge Castro, Carlos Seara |
| 1992 | Communication Efficient Zero-Knowledge Proofs of Knowledge (With Applications to Electronic Cash). Alfredo De Santis, Giuseppe Persiano |
| 1992 | Compression and Entropy. Georges Hansel, Dominique Perrin, Imre Simon |
| 1992 | Conditional Seme-Thue Systems for Presenting Monoids. Thomas Deiß |
| 1992 | Deterministic Regular Languages. Anne Brüggemann-Klein, Derick Wood |
| 1992 | Distributed System Simulator (DSS). Paul G. Spirakis, Basil Tampakas, Marina Papatriantafilou, K. Konstantoulis, K. Vlaxodimitropoulos, V. Antonopoulos, P. Kazazis, T. Metallidou, D. Spartiotis |
| 1992 | Efficient Algorithms for Solving Systems of Linear Equations and Path Problems. Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns |
| 1992 | Efficient Sublinear Time Parallel Algorithms for Dynamic Programming and Context-Free Recognition. Lawrence L. Larmore, Wojciech Rytter |
| 1992 | Enclosing Many Boxes by an Optimal Pair of Boxes. Bruno Becker, Paolo Giulio Franciosa, Stephan Gschwind, Thomas Ohler, Gerald Thiemt, Peter Widmayer |
| 1992 | Equality and Disequality Constraints on Direct Subterms in Tree Automata. Bruno Bogaert, Sophie Tison |
| 1992 | Fast and Optimal Simulations between CRCW PRAMs. Torben Hagerup |
| 1992 | Four Results on Randomized Incremental Constructions. Kenneth L. Clarkson, Kurt Mehlhorn, Raimund Seidel |
| 1992 | Graph Isomorphism is Low for PP. Johannes Köbler, Uwe Schöning, Jacobo Torán |
| 1992 | In-place Linear Probing Sort. Svante Carlsson, Jyrki Katajainen, Jukka Teuhola |
| 1992 | Interval Approximations of Message Causality in Distributed Executions. Claire Diehl, Claude Jard |
| 1992 | Iterative Devices Generating Infinite Words. Karel Culík II, Juhani Karhumäki |
| 1992 | Joining k- and l-Recognizable Sets of Natural Numbers. Roger Villemaire |
| 1992 | Language Learning without Overgeneralization. Shyam Kapur, Gianfranco Bilardi |
| 1992 | Linear Approximation of Simple Objects. Jean-Marc Robert, Godfried T. Toussaint |
| 1992 | Locally Definable Acceptance Types for Polynomial Time Machines. Ulrich Hertrampf |
| 1992 | Mu-SPEED: A System for the Specification and Verification of Microprocessors. Hélène Collavizza |
| 1992 | New Time Hierarchy Results for Deterministic TMs. Krzysztof Lorys |
| 1992 | On Complexity Classes and Algorithmically Random Languages (Extended Abstract). Ronald V. Book, Jack H. Lutz, Klaus W. Wagner |
| 1992 | On Locally Optimal Alignments in Genetic Sequences. Norbert Blum |
| 1992 | On the Approximability of the Maximum Common Subgraph Problem. Viggo Kann |
| 1992 | On the Factorization Conjecture. Clelia De Felice |
| 1992 | On the Performance of Networks with Multiple Busses. Friedhelm Meyer auf der Heide, Hieu Thien Pham |
| 1992 | Performance Driven k-Layer Wiring. Michael Kaufmann, Paul Molitor, Wolfgang Vogelgesang |
| 1992 | SPECI90: A Term Rewriting and Narrowing System. Peter Bachmann, Thomas Drescher, Sabine Nieke |
| 1992 | STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings Alain Finkel, Matthias Jantzen |
| 1992 | Secure Commitment Against A Powerful Adversary. Rafail Ostrovsky, Ramarathnam Venkatesan, Moti Yung |
| 1992 | Separating Counting Communication Complexity Classes. Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack |
| 1992 | Speeding Up Two String-Matching Algorithms. Maxime Crochemore, Thierry Lecroq, Artur Czumaj, Leszek Gasieniec, Stefan Jarominek, Wojciech Plandowski, Wojciech Rytter |
| 1992 | Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. Marie-Claude Gaudel |
| 1992 | Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. Eric Nassor, Guy Vidal-Naquet |
| 1992 | Synthesis for Testability: Binary Decision Diagrams. Bernd Becker |
| 1992 | The ANIGRAF System. Michel Billaud |
| 1992 | The Complexity of Colouring Circle Graphs (Extended Abstract). Walter Unger |
| 1992 | The Extended Low Hierarchy Is an Infinite Hierarchy. Ming-Jye Sheu, Timothy J. Long |
| 1992 | The Log-Star Revolution. Torben Hagerup |
| 1992 | The Parallel Complexity of Tree Embedding Problems (Extended Abstract). Arvind Gupta, Naomi Nishimura |
| 1992 | The Theory of the Polynomial Many-One Degrees of Recursive Sets is Undecidable. Klaus Ambos-Spies, André Nies |
| 1992 | Unconditional Byzantine Agreement for any Number of Faulty Processors. Birgit Pfitzmann, Michael Waidner |
| 1992 | Verification of Communicating Processes by Means of Automata Reduction and Abstraction. Eric Madelaine, Didier Vergamini |