| 1987 | Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types? | Tobias Nipkow |
| 1987 | On the Contact-Minimization-Problem. | Paul Molitor |
| 1987 | REVE: A Rewrite Rule Laboratory. | Pierre Lescanne |
| 1987 | The Correlation Between the Complexities of the Nonhierarchical and Hierarchical Versions of Graph Problems. | Thomas Lengauer, Klaus W. Wagner |
| 1987 | SPRAC: A Software Engineering Environment. | Michel Lemoine, Ren Jacquart, Guy Zanon |
| 1987 | Optimal Sorting on Multi-Dimensionally Mesh-Connected Computers. | Manfred Kunde |
| 1987 | On the k-Freeness of Morphisms on Free Monoids. | Veikko Kernen |
| 1987 | On Local Routing of Two-Terminal Nets. | Michael Kaufmann, Kurt Mehlhorn |
| 1987 | Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach. | S. Kaplan, Amir Pnueli |
| 1987 | Natural Semantics. | Gilles Kahn |
| 1987 | The Passau RAP System: Rapid Prototyping for Algebraic Specifications. | Heinrich Humann |
| 1987 | Reversal Complexity of Multicounter and Multihead Machines. | Juraj Hromkovic |
| 1987 | On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. | Rodney R. Howell |
| 1987 | Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. | Annegret Habel, Hans-Jrg Kreowski |
| 1987 | An Algebraic Transformation System for Occam Programs. | Michael Goldsmith, A. Cox, Geoff Barrett |
| 1987 | Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. | Rob J. van Glabbeek |
| 1987 | An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques. | N. Girard |
| 1987 | A Hierarchy Theorem for Almost Everywhere Complex Sets With Application to Polynomial Complexity Degrees. | John G. Geske, Dung T. Huynh, Alan L. Selman |
| 1987 | Ground Term Confluence in Parametric Conditional Equational Specifications. | Harald Ganzinger |
| 1987 | SLOG: A Logic Interpreter for Equational Clauses. | Laurent Fribourg |
| 1987 | Efficient Graph Algorithm Using Limited Communication on a Fixed-Size Array of Processors. | Kshitij A. Doshi, Peter J. Varman |
| 1987 | Some Remarks on Presentations by Finite Church-Rosser Thue Systems. | Volker Diekert |
| 1987 | Decidability Questions for Fairness in Petri Nets. | Heino Carstensen |
| 1987 | Probability One Separation of the Boolean Hierarchy. | Jin-yi Cai |
| 1987 | Finding the Largest Empty Rectangle on a Grated Surface. | J. D. Brock |