| 1993 | Rabin Tree Automata and Finite Monoids. | Danile Beauquier, Andreas Podelski |
| 1993 | Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. | J. W. de Bakker, Franck van Breugel, Arie de Bruin |
| 1993 | Stores as Homomorphisms and their Transformations. | Egidio Astesiano, Gianna Reggio, Elena Zucca |
| 1993 | Hausdorff Reductions to Sparse Sets and to Sets of High Information Content. | Vikraman Arvind, Johannes Kbler, Martin Mundhenk |
| 1993 | Equivalences and Preorders of Transition Systems. | Andr Arnold, Anne Dicky |
| 1993 | On the Unification Free Prolog Programs. | Krzysztof R. Apt, Sandro Etalle |
| 1993 | On the Adequacy of Per Models. | Roberto M. Amadio |
| 1993 | On the Tree Inclusion Problem. | Laurent Alonso, Ren Schott |
| 1992 | One-Rule Trace-Rewriting Systems and Confluence. | Celia Wrathall, Volker Diekert, Friedrich Otto |
| 1992 | The Complexity of Graph Connectivity. | Avi Wigderson |
| 1992 | Weak Parallel Machines: a New Class of Physically Feasible Parallel Machine Models. | Juraj Wiedermann |
| 1992 | On the Complexity of Small Description and Related Topics. | Osamu Watanabe |
| 1992 | A Strategy for Speeding-up the Computation of Characteristic Sets. | Dongming Wang |
| 1992 | Methods in Parallel Algorithmics (Abstract). | Uzi Vishkin |
| 1992 | Theory of Computation over Stream Algebras, and its Applications. | John V. Tucker, Jeffery I. Zucker |
| 1992 | Characterizing Regular Languages with Polynomial Densities. | Andrew Szilard, Sheng Yu, Kaizhong Zhang, Jeffrey O. Shallit |
| 1992 | Maintaining Proximity in Higher Dimensional Spaces. | Thomas Roos, Gerhard Albers |
| 1992 | Superposable Trellis Automata. | Nicolas Reimen |
| 1992 | Fully Abstract Semantics for Higher Order Communicating Systems. | S. Ramesh |
| 1992 | Two Simple Characterizations of Well-Founded Semantics. | Teodor C. Przymusinski |
| 1992 | New Parallel Algorithms for Convex Hull and Triangulation in 3-Dimensional Space. | Waldemar Preilowski, Elias Dahlhaus, Gerd Wechsung |
| 1992 | On the Nature of Events. | G. Michele Pinna, Axel Poign |
| 1992 | Decision Problems for Cellular Automata and Their Semigroups. | John Pedersen |
| 1992 | Neural Networks and Complexity Theory. | Pekka Orponen |
| 1992 | Modelling Concurrency with Semi-Commutations. | Edward Ochmanski |