| 1988 | Hotz-Isomorphism Theorems in Formal Language Theory. | Volker Diekert, Axel Mbus |
| 1988 | MODULOG and the MODULA WorkStation. | Louis Dewez, Jean-Michel Douin, Philippe Lucas |
| 1988 | An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. | Bruno Courcelle |
| 1988 | Scheduling Independent Jobs on Hypercubes. | Guan-Ing Chen, Ten-Hwang Lai |
| 1988 | On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. | Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini |
| 1988 | On Polynomial Time Graph Grammars. | Franz-Josef Brandenburg |
| 1988 | Hierarchical Contextual Rewriting with Several Levels. | Wadoud Bousdira, Jean-Luc Rmy |
| 1988 | Functional Equations for Data Structures. | Franois Bergeron, Gilbert Labelle, Pierre Leroux |
| 1988 | Darwin: Computer Algebra and Enumerative Combinatorics. | Franois Bergeron, G. Cartier |
| 1988 | LPC: A Concurrent Programming Laboratory. | Marc V. Benveniste |
| 1988 | Functions and Relations: The GRAAL System. | Patrick Bellot, Remi Legrand |
| 1988 | On the Construction of Optimal Time Adders (Extended Abstract). | Bernd Becker, Reiner Kolla |
| 1988 | Polygon Placement Under Translation and Rotation. | Francis Avnaim, Jean-Daniel Boissonnat |
| 1988 | Generalized Bisimulation in Relational Specifications. | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
| 1988 | Fonctions Gnratrices Transcendantes Coefficients Engendrs par Automates. | Jean-Paul Allouche, Bernard Rande, Los Thimonier |
| 1988 | A Simple Protocol for Secure Circuit Evaluation. | Martn Abadi, Joan Feigenbaum |
| 1987 | The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols. | Gerard Tel, Richard B. Tan, Jan van Leeuwen |
| 1987 | The Step Failure Semantics. | Dirk Taubner, Walter Vogler |
| 1987 | Graph Isomorphism is in the Low Hierarchy. | Uwe Schning |
| 1987 | Describing Semantic Domains with Sprouts. | Gunther Schmidt, Rudolf Berghammer, Hans Zierer |
| 1987 | Avoidable Patterns on 2 Letters. | Ursula Schmidt |
| 1987 | On the Expected Complexity of Distributed Selection. | Nicola Santoro, Jeffrey B. Sidney, Stuart J. Sidney |
| 1987 | On Selecting the Largest Element in Spite of Erroneous Information. | Bala Ravikumar, K. Ganesan, K. B. Lakshmanan |
| 1987 | Some Results on Fairness: The Regular Case. | Lutz Priese, Ralf Rehrmann, Uwe Willecke-Klemme |
| 1987 | Closure Properties of Deterministic Petri Nets. | Elisabeth Pelz |