| 1993 | Computability Properties of Low-dimensional Dynamical Systems. | Michel Cosnard, Max H. Garzon, Pascal Koiran |
| 1993 | On the Logical Definability of Some Rational Trace Languages. | Christian Choffrut, Leucio Guerra |
| 1993 | Decidability and Undecidability Results for Duration Calculus. | Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
| 1993 | Causal and Distributed Semantics for Concurrent Processes (Abstract). | Ilaria Castellani |
| 1993 | Counting Overlap-Free Binary Words. | Julien Cassaigne |
| 1993 | Splittings, Robustness and Structure of Complete Sets. | Harry Buhrman, Albrecht Hoene, Leen Torenvliet |
| 1993 | Alternation for Two-way Machines with Sublogarithmic Space. | Burchard von Braunmhl |
| 1993 | On Fairness in Distributed Automated Deduction. | Maria Paola Bonacina, Jieh Hsiang |
| 1993 | Efficient Sharing of Many Secrets. | Carlo Blundo, Alfredo De Santis, Ugo Vaccaro |
| 1993 | General Refinement and Recursion Operators for the Petri Box Calculus. | Eike Best, Raymond Devillers, Javier Esparza |
| 1993 | Language Learning With Some Negative Information. | Ganesh R. Baliga, John Case, Sanjay Jain |
| 1993 | Transparent (Holographic) Proofs. | Lszl Babai |
| 1993 | A First-Order Isomorphism Theorem. | Eric Allender, Jos L. Balczar, Neil Immerman |
| 1993 | Fixed-Parameter Intractability II (Extended Abstract). | Karl R. Abrahamson, Rodney G. Downey, Michael R. Fellows |
| 1992 | Joining k- and l-Recognizable Sets of Natural Numbers. | Roger Villemaire |
| 1992 | Alpha du Centaur: An Environment for the Design of Systolic Arrays. | Herv Le Verge |
| 1992 | The Complexity of Colouring Circle Graphs (Extended Abstract). | Walter Unger |
| 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 | The Extended Low Hierarchy Is an Infinite Hierarchy. | Ming-Jye Sheu, Timothy J. Long |
| 1992 | A Combinatorial Bound for Linear Programming and Related Problems. | Micha Sharir, Emo Welzl |
| 1992 | Communication Efficient Zero-Knowledge Proofs of Knowledge (With Applications to Electronic Cash). | Alfredo De Santis, Giuseppe Persiano |
| 1992 | Linear Approximation of Simple Objects. | Jean-Marc Robert, Godfried T. Toussaint |
| 1992 | Efficient Algorithms for Solving Systems of Linear Equations and Path Problems. | Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns |
| 1992 | A Simplified Technique for Hidden-Line Elimination in Terrains. | Franco P. Preparata, Jeffrey Scott Vitter |
| 1992 | Unconditional Byzantine Agreement for any Number of Faulty Processors. | Birgit Pfitzmann, Michael Waidner |