| 1988 | A Compositional Semantics for Concurrent Prolog. Joost N. Kok |
| 1988 | A Simple Protocol for Secure Circuit Evaluation. Martín Abadi, Joan Feigenbaum |
| 1988 | An Automatic Speed-up of Random Access Machines with Powerful Arithmetic Instructions. Ingolf Wald |
| 1988 | An Automaton Characterization of Fairness in SCCS. Irène Guessarian, Wafaa Niar-Dinedane |
| 1988 | An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. Bruno Courcelle |
| 1988 | An Optimal Algorithm for Detecting Weak Visibility of a Polygon (Preliminary Version). Jörg-Rüdiger Sack, Subhash Suri |
| 1988 | Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. Birgit Jenner, Bernd Kirsig |
| 1988 | Collapsing Oracle Hierarchies, Census Functions and Logarithmically Many Queries. Uwe Schöning, Klaus W. Wagner |
| 1988 | Construction of a Family of Finite Maximal Codes. Clelia De Felice |
| 1988 | Cyclic Rational Transductions and Polynomials of Rational Functions. Alain Terlutte |
| 1988 | Darwin: Computer Algebra and Enumerative Combinatorics. François Bergeron, G. Cartier |
| 1988 | Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. Erich Grädel |
| 1988 | Efficient Distributed Algorithms by Using the Archemedean Time Assumption. Paul G. Spirakis, Basil Tampakas |
| 1988 | Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space. Pascal Lienhardt |
| 1988 | First-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity. Uschi Heuter |
| 1988 | Fonctions Génératrices Transcendantes à Coefficients Engendrés par Automates. Jean-Paul Allouche, Bernard Rande, Loÿs Thimonier |
| 1988 | Functional Equations for Data Structures. François Bergeron, Gilbert Labelle, Pierre Leroux |
| 1988 | Functions and Relations: The GRAAL System. Patrick Bellot, Remi Legrand |
| 1988 | Generalized Bisimulation in Relational Specifications. Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
| 1988 | Geometric Containment, Common Roots of Polynomials and Partial Orders. Nicola Santoro, Stuart J. Sidney, Jorge Urrutia |
| 1988 | Geometry of Numbers and Integer Programming (Summary). Claus-Peter Schnorr |
| 1988 | Getting Back to the Past in the Union-Find Problem. Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo |
| 1988 | Hierarchical Contextual Rewriting with Several Levels. Wadoud Bousdira, Jean-Luc Rémy |
| 1988 | Hotz-Isomorphism Theorems in Formal Language Theory. Volker Diekert, Axel Möbus |
| 1988 | LPC: A Concurrent Programming Laboratory. Marc V. Benveniste |
| 1988 | MODULOG and the MODULA WorkStation. Louis Dewez, Jean-Michel Douin, Philippe Lucas |
| 1988 | Maintaining Range Trees in Secondary Memory (Extended Abstract). Mark H. Overmars, Michiel H. M. Smid |
| 1988 | On Computations with Integer Division. Bettina Just, Friedhelm Meyer auf der Heide, Avi Wigderson |
| 1988 | On Morphisms of Trace Monoids. Edward Ochmanski |
| 1988 | On Polynomial Time Graph Grammars. Franz-Josef Brandenburg |
| 1988 | On the Construction of Optimal Time Adders (Extended Abstract). Bernd Becker, Reiner Kolla |
| 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 the k-Colouring of Circle-Graphs. Walter Unger |
| 1988 | PLEXUS: A System for Implementing Hierarchical Graph Algorithms. Egon Wanke |
| 1988 | Polygon Placement Under Translation and Rotation. Francis Avnaim, Jean-Daniel Boissonnat |
| 1988 | Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants. Amelia Soriano |
| 1988 | STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings Robert Cori, Martin Wirsing |
| 1988 | Scheduling Independent Jobs on Hypercubes. Guan-Ing Chen, Ten-Hwang Lai |
| 1988 | Solving Parametric Problems on Trees. David Fernández-Baca, Giora Slutzki |
| 1988 | Some Tools for an Inference Laboratory (ATINF). Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |
| 1988 | The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. B. Le Goff, Paul Le Guernic |
| 1988 | The Power of Polynomial Size Omega-Branching Programs. Christoph Meinel |
| 1988 | The Relation of Two Patterns with Comparable Languages. Gilberto Filé |
| 1988 | Voronoi Diagrams Based on General Metrics in the Plane. Rolf Klein, Derick Wood |