| 1988 | On the k-Colouring of Circle-Graphs. | Walter Unger |
| 1988 | Some Tools for an Inference Laboratory (ATINF). | Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |
| 1988 | Cyclic Rational Transductions and Polynomials of Rational Functions. | Alain Terlutte |
| 1988 | Efficient Distributed Algorithms by Using the Archemedean Time Assumption. | Paul G. Spirakis, Basil Tampakas |
| 1988 | Prototype de Venus: Un Outil d'Aide la Verification de Systemes Communicants. | Amelia Soriano |
| 1988 | Collapsing Oracle Hierarchies, Census Functions and Logarithmically Many Queries. | Uwe Schning, Klaus W. Wagner |
| 1988 | Geometry of Numbers and Integer Programming (Summary). | Claus-Peter Schnorr |
| 1988 | Geometric Containment, Common Roots of Polynomials and Partial Orders. | Nicola Santoro, Stuart J. Sidney, Jorge Urrutia |
| 1988 | An Optimal Algorithm for Detecting Weak Visibility of a Polygon (Preliminary Version). | Jrg-Rdiger Sack, Subhash Suri |
| 1988 | Maintaining Range Trees in Secondary Memory (Extended Abstract). | Mark H. Overmars, Michiel H. M. Smid |
| 1988 | On Morphisms of Trace Monoids. | Edward Ochmanski |
| 1988 | The Power of Polynomial Size Omega-Branching Programs. | Christoph Meinel |
| 1988 | Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space. | Pascal Lienhardt |
| 1988 | A Compositional Semantics for Concurrent Prolog. | Joost N. Kok |
| 1988 | Voronoi Diagrams Based on General Metrics in the Plane. | Rolf Klein, Derick Wood |
| 1988 | On Computations with Integer Division. | Bettina Just, Friedhelm Meyer auf der Heide, Avi Wigderson |
| 1988 | Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. | Birgit Jenner, Bernd Kirsig |
| 1988 | First-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity. | Uschi Heuter |
| 1988 | An Automaton Characterization of Fairness in SCCS. | Irne Guessarian, Wafaa Niar-Dinedane |
| 1988 | Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. | Erich Grdel |
| 1988 | The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. | B. Le Goff, Paul Le Guernic |
| 1988 | Getting Back to the Past in the Union-Find Problem. | Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo |
| 1988 | The Relation of Two Patterns with Comparable Languages. | Gilberto Fil |
| 1988 | Solving Parametric Problems on Trees. | David Fernndez-Baca, Giora Slutzki |
| 1988 | Construction of a Family of Finite Maximal Codes. | Clelia de Felice |