| 1987 | The Kleene and the Parikh Theorem in Complete Semirings. | Werner Kuich |
| 1987 | Partial Algebras Flow From Algebraic Specifications. | Hans-Jrg Kreowski |
| 1987 | On Recent Trends in Formal Language Theory. | Juhani Karhumki |
| 1987 | Modelchecking of CTL Formulae under Liveness Assumptions. | Bernhard Josko |
| 1987 | Single-Valued Finite Transduction. | J. Howard Johnson |
| 1987 | On the Computing Power of One-Way Cellular Arrays. | Oscar H. Ibarra, Tao Jiang |
| 1987 | On Word Problems in Equational Theories. | Jieh Hsiang, Michal Rusinowitch |
| 1987 | Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. | Rodney R. Howell, Louis E. Rosier |
| 1987 | A Unification Algorithms for Confluent Theories. | Steffen Hlldobler |
| 1987 | Parallel 5-Colouring of Planar Graphs. | Torben Hagerup, Marek Chrobak, Krzysztof Diks |
| 1987 | Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. | Thilo Hafer, Wolfgang Thomas |
| 1987 | Readiness Semantics for Regular Processes with Silent Actions. | Susanne Graf, Joseph Sifakis |
| 1987 | A Timed Failures Model for Extended Communicating Processes. | Rob Gerth, Andy Boucher |
| 1987 | Posets, Boolean Representations and Quick Path Searching. | Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo |
| 1987 | A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems. | Alain Finkel |
| 1987 | Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane. | Herbert Edelsbrunner, Gnter Rote, Emo Welzl |
| 1987 | Inverse Image Analysis. | Peter Dybjer |
| 1987 | Lower Bounds for Sorting of Sums. | Martin Dietzfelbinger |
| 1987 | On the Knuth-Bendix Completion for Concurrent Processes. | Volker Diekert |
| 1987 | Panic Mode without Panic. | Michal Chytil, Jir Demner |
| 1987 | A Star-Height Problem in Free Monoids with Partial Communications. | Christian Choffrut, Christine Duboc |
| 1987 | On the Complexity of Graph Critical Uncolorability. | Jin-yi Cai, Gabriele E. Meyer |
| 1987 | Minimal Automaton of a Rational Cover. | Danile Beauquier |
| 1987 | Testing Membership in Commutative Transformation Semigroups. | Martin Beaudry |
| 1987 | Non-Uniform Automata Over Groups. | David A. Mix Barrington, Denis Thrien |