| 1993 | Dynamic Interpolation Search in o(log log n) Time. | Arne Andersson, Christer Mattsson |
| 1993 | Lower Bounds for One-way Probabilistic Communication Complexity. | Farid M. Ablayev |
| 1993 | Computing on Structures. | Serge Abiteboul, Victor Vianu |
| 1992 | Disjunctive Systems and L-Domains. | Guo-Qiang Zhang |
| 1992 | Fast Incremental Planarity Testing. | Jeffery R. Westbrook |
| 1992 | Asynchronous Communication of Petri Nets and the Refinement of Transitions. | Walter Vogler |
| 1992 | Suboptimal Cuts: Their Enumeration, Weight and Number (Extended Abstract). | Vijay V. Vazirani, Mihalis Yannakakis |
| 1992 | Circuit Complexity and the Expressive Power of Generalized First-Order Formulas. | Howard Straubing |
| 1992 | UP and the Low and High Hierarchies: A Relativized Separation. | Ming-Jye Sheu, Timothy J. Long |
| 1992 | Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract). | Jeffrey O. Shallit |
| 1992 | Adaptive Pattern Matching. | R. C. Sekar, R. Ramesh, I. V. Ramakrishnan |
| 1992 | The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. | Ulrich Schmid |
| 1992 | One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier. | Alfredo De Santis, Giuseppe Persiano, Moti Yung |
| 1992 | Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. | Donald Sannella, Andrzej Tarlecki |
| 1992 | A New Metric Between Polygons and How to Compute it. | Gnter Rote |
| 1992 | Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). | Alexander Moshe Rabinovich |
| 1992 | Maintenance of Triconnected Components of Graphs (Extended Abstract). | Johannes A. La Poutr |
| 1992 | A Proposed Categorial Semantics for Pure ML. | Wesley Phoa, Michael P. Fourman |
| 1992 | On Reverse and General Definite Tree Languages (Extended Abstract). | Pierre Pladeau, Andreas Podelski |
| 1992 | On Nearest-Neighbor Graphs. | Mike Paterson, F. Frances Yao |
| 1992 | Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). | C.-H. Luke Ong |
| 1992 | Interfaces between Languages for Communicating Systems. | Ernst-Rdiger Olderog |
| 1992 | Quasi-Deterministic 0L Systems. | Taishin Y. Nishida |
| 1992 | A Parametric Approach to Localities. | Ugo Montanari, Daniel Yankelevich |
| 1992 | Behavioural Abstraction in TCCS. | Faron Moller, Chris M. N. Tofts |