| 1991 | Recognizable and Rational Languages of Finite and Infinite Traces. | Paul Gastin |
| 1991 | Rational Ralations with Bounded Delay. | Christiane Frougny, Jacques Sakarovitch |
| 1991 | Interactive Proof Systems and Alternating Time-Space Complexity. | Lance Fortnow, Carsten Lund |
| 1991 | On the Concatenation of Infinite Traces. | Volker Diekert |
| 1991 | Reachability in Reversible Free Choice Systems. | Jrg Desel, Javier Esparza |
| 1991 | Unfolding, Procedural and Fixpoint Semantics of Logic Programs. | Franois Denis, Jean-Paul Delahaye |
| 1991 | The Complexity of the Max Word Problem. | Anne Condon |
| 1991 | A New Compacting Garbage-Collection Algorithm with a Good Average-Case Performance. | Svante Carlsson, Christer Mattsson, Patricio V. Poblete, Mats Bengtsson |
| 1991 | Nondterminism Within P. | Jonathan F. Buss, Judy Goldsmith |
| 1991 | Structure and Importance of Logspace-MOD-Classes. | Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel |
| 1991 | Bounded Reductions. | Harry Buhrman, Edith Spaan, Leen Torenvliet |
| 1991 | Computationally Convincing Proofs of Knowledge. | Gilles Brassard, Claude Crpeau, Sophie Laplante, Christian Lger |
| 1991 | Geometry Models Design System GammaPOM. | E. V. Biryalcev, A. M. Gusenkov, Ildar R. Nasyrov, A. A. Saveliev |
| 1991 | Compositional Generation of Home States in Free Choice Systems. | Eike Best, Ludmila Cherkasova, Jrg Desel |
| 1991 | The RELVIEW-System. | Rudolf Berghammer, Gunther Schmidt |
| 1991 | Detection of Deadlocks in an Infinite Family of Nets. | Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet |
| 1991 | Unconditional Byzantine Agreement with Good Majority. | Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner |
| 1991 | Actors as a Parallel Programming Model. | Franoise Baude, Guy Vidal-Naquet |
| 1991 | A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. | Philippe Balbiani |
| 1991 | Functional Oracle Queries as a Measure of Parallel Time. | Carme lvarez, Jos L. Balczar, Birgit Jenner |
| 1991 | Average Case Analysis of Unification Algorithms. | Luc Albert, Rafael Casas, Franois Fages, A. Torrecillas, Paul Zimmermann |
| 1990 | The Analysis of Local Search Problems and Their Heuristics. | Mihalis Yannakakis |
| 1990 | Failures Semantics Based on Interval Semiwords is a Congruence for Refinement. | Walter Vogler |
| 1990 | Enumerative Combinatorics and Computer Science. | Xavier Grard Viennot |
| 1990 | Infinite Trees and Automaton Definable Relations over Omega-Words. | Wolfgang Thomas |