| 1987 | REVEUR4: A Laboratory for Conditional Rewriting. | Wadoud Bousdira, Jean-Luc Rmy |
| 1987 | Towards a Theory of Relativizations: Positive Relativizations. | Ronald V. Book |
| 1987 | Asspegique: An Integrated Specification Environment. | Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin |
| 1987 | Computing the Counting Function of Context-Free Languages. | Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini |
| 1987 | CEC (Conditional Equations Completion). | Hubert Bertling, Harald Ganzinger, Hubert Baumeister |
| 1987 | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed |
| 1987 | On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. | Christoph Beierle, Angi Vo |
| 1987 | Making Distributed Spanning Tree Algorithms Fault-Resilient. | Reuven Bar-Yehuda, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks |
| 1987 | Self-Reducibility. | Jos L. Balczar |
| 1987 | Geometric Relations Among Voronoi Diagrams. | Franz Aurenhammer, Hiroshi Imai |
| 1987 | Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. | Egidio Astesiano, Gianna Reggio |
| 1987 | Expressibility of First Order Logic with a Nondeterministic Inductive Operator. | Vikraman Arvind, Somenath Biswas |
| 1987 | Polynomial Operations on Rational Languages. | Mustapha Arfi |
| 1986 | Algorithms for Visibility Representations of Planar Graphs. | Roberto Tamassia, Ioannis G. Tollis |
| 1986 | Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification. | Paul G. Spirakis |
| 1986 | Long Unavoidable Patterns. | Ursula Schmidt |
| 1986 | Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. | Louis E. Rosier, Hsu-Chun Yen |
| 1986 | Parallel Machines and their Communication Theoretical Limits. | Rdiger Reischuk |
| 1986 | Varits de Semis Groupes et Mots Infinis. | Jean-Pierre Pcuchet |
| 1986 | Abstract Interpretation of Denotational Definions (A Survey). | Flemming Nielson |
| 1986 | Area-time Optimal Division for T=Omega(log n) | Kurt Mehlhorn, Franco P. Preparata |
| 1986 | Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time. | Andrzej Lingas |
| 1986 | Efficient Algorithms for Finding Minimum Spanning Forests of Hierarchically Defined Graphs. | Thomas Lengauer |
| 1986 | Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract). | Chandra M. R. Kintala, Detlef Wotschke |
| 1986 | Strictness and Serializability. | Udo Kelter |