| 1992 | Secure Commitment Against A Powerful Adversary. | Rafail Ostrovsky, Ramarathnam Venkatesan, Moti Yung |
| 1992 | Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. | Eric Nassor, Guy Vidal-Naquet |
| 1992 | Verification of Communicating Processes by Means of Automata Reduction and Abstraction. | Eric Madelaine, Didier Vergamini |
| 1992 | New Time Hierarchy Results for Deterministic TMs. | Krzysztof Lorys |
| 1992 | An Interactive Proof Tool for Process Algebras. | Huimin Lin |
| 1992 | Efficient Sublinear Time Parallel Algorithms for Dynamic Programming and Context-Free Recognition. | Lawrence L. Larmore, Wojciech Rytter |
| 1992 | Graph Isomorphism is Low for PP. | Johannes Kbler, Uwe Schning, Jacobo Torn |
| 1992 | Broadcasting in Butterfly and DeBruijn Networks. | Ralf Klasing, Burkhard Monien, Regine Peine, Elena Sthr |
| 1992 | Performance Driven k-Layer Wiring. | Michael Kaufmann, Paul Molitor, Wolfgang Vogelgesang |
| 1992 | Language Learning without Overgeneralization. | Shyam Kapur, Gianfranco Bilardi |
| 1992 | On the Approximability of the Maximum Common Subgraph Problem. | Viggo Kann |
| 1992 | A Competitive Analysis of Nearest Neighbor Based Algorithms for Searching Unknown Scenes (Preliminary Version). | Bala Kalyanasundaram, Kirk Pruhs |
| 1992 | Locally Definable Acceptance Types for Polynomial Time Machines. | Ulrich Hertrampf |
| 1992 | On the Performance of Networks with Multiple Busses. | Friedhelm Meyer auf der Heide, Hieu Thien Pham |
| 1992 | Compression and Entropy. | Georges Hansel, Dominique Perrin, Imre Simon |
| 1992 | The Log-Star Revolution. | Torben Hagerup |
| 1992 | Fast and Optimal Simulations between CRCW PRAMs. | Torben Hagerup |
| 1992 | The Parallel Complexity of Tree Embedding Problems (Extended Abstract). | Arvind Gupta, Naomi Nishimura |
| 1992 | A Nonlinear Lower Bound on the Practical Combinational Complexity. | Xaver Gubs, Juraj Hromkovic, Juraj Waczulk |
| 1992 | A Discrete Event Simulator of Communication Algorithms in Interconnection Networks. | Miltos D. Grammatikakis, Jung-Sing Jwo |
| 1992 | Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. | Marie-Claude Gaudel |
| 1992 | On the Factorization Conjecture. | Clelia de Felice |
| 1992 | Interval Approximations of Message Causality in Distributed Executions. | Claire Diehl, Claude Jard |
| 1992 | Conditional Seme-Thue Systems for Presenting Monoids. | Thomas Dei |
| 1992 | Separating Counting Communication Complexity Classes. | Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack |