| 1988 | A Complexity Theory of Efficient Parallel Algorithms (Extended Abstract). Clyde P. Kruskal, Larry Rudolph, Marc Snir |
| 1988 | A Dynamic Data Structure for Planar Graph Embedding (Extended Abstract). Roberto Tamassia |
| 1988 | A Kleene-Presburgerian Approach to Linear Production Systems. Jürgen Schäfer |
| 1988 | A Polynomial-Time Algorithm for Subgraph Isomorphism of Two-Connected Series-Parallel Graphs. Andrzej Lingas, Maciej M. Syslo |
| 1988 | Algorithms for Planar Geometric Models. Chandrajit L. Bajaj, Myung-Soo Kim |
| 1988 | Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System. Robert Cori, Yves Métivier |
| 1988 | Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms. Herbert Edelsbrunner, Leonidas J. Guibas, János Pach, Richard Pollack, Raimund Seidel, Micha Sharir |
| 1988 | Assertional Verification of a Timer Based Protocol. Gerard Tel |
| 1988 | Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings Timo Lepistö, Arto Salomaa |
| 1988 | Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. Luc Albert, François Fages |
| 1988 | Communication Complexity of PRAMs (Preliminary Version). Alok Aggarwal, Ashok K. Chandra |
| 1988 | Computations, Residuals, and the POwer of Indeterminancy. Prakash Panangaden, Eugene W. Stark |
| 1988 | Constructive Hopf's Theorem: Or How to Untangle Closed Planar Curves. Kurt Mehlhorn, Chee-Keng Yap |
| 1988 | Contractions in Comparing Concurrent Semantics. Joost N. Kok, Jan J. M. M. Rutten |
| 1988 | Do We Really Need to Balance Patricia Trees? (Extended Abstract). Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski |
| 1988 | Dynamic Programming on Graphs with Bounded Treewidth. Hans L. Bodlaender |
| 1988 | Efficient Algorithms on Context-Free Graph Grammars. Clemens Lautemann |
| 1988 | Efficient Analysis of Graph Properties on Context-free Graph Languages (Extended Abstract). Thomas Lengauer, Egon Wanke |
| 1988 | Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM's and Space-Bounded TM's. Jik H. Chang, Oscar H. Ibarra, Michael A. Palis |
| 1988 | Geometric Structures in Computational Geometry. Herbert Edelsbrunner |
| 1988 | Invertibility of Linear Finite Automata Over a Ring. Ren-ji Tao |
| 1988 | La Reconnaissance des Facteurs d'un Language Fini dans un Texte en Temps Lineaire (Resume). Jean-Claude Spehner |
| 1988 | Maximal Dense Intervals of Grammar Forms. Valtteri Niemi |
| 1988 | Moving Discs Between Polygons. Hans Rohnert |
| 1988 | Nested Annealing: A Provable Improvement to Simulated Annealing. Sanguthevar Rajasekaran, John H. Reif |
| 1988 | New Developments in Structural Complexity Theory. Juris Hartmanis |
| 1988 | New Techniques for Proving the Decidability of Equivalence Problems. Karel Culík II |
| 1988 | Nonlinear Pattern Matching in Trees. R. Ramesh, I. V. Ramakrishnan |
| 1988 | Nonuniform Learnability. Gyora M. Benedek, Alon Itai |
| 1988 | On Minimum Flow and Transitive Reduction. Klaus Simon |
| 1988 | On Restricting the Access to an NP-Oracle. Klaus W. Wagner |
| 1988 | On the Learnability of DNF Formulae. Ludek Kucera, Alberto Marchetti-Spaccamela, Marco Protasi |
| 1988 | On ≤ Osamu Watanabe |
| 1988 | Operational Semantics of OBJ-3 (Extended Abstract). Claude Kirchner, Hélène Kirchner, José Meseguer |
| 1988 | Optimal Circuits and Transitive Automorphism Groups. Steven Rudich, Leonard Berman |
| 1988 | Optimal Slope Selection. Richard Cole, Jeffrey S. Salowe, William L. Steiger, Endre Szemerédi |
| 1988 | Outer Narrowing for Equational Theories Based on Constructors. Jia-Huai You |
| 1988 | Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs. Vijay V. Vazirani, Mihalis Yannakakis |
| 1988 | Problems Easy for Tree-Decomposable Graphs (Extended Abstract). Stefan Arnborg, Jens Lagergren, Detlef Seese |
| 1988 | Random Allocations and Probabilistic Languages. Philippe Flajolet, Danièle Gardy, Loÿs Thimonier |
| 1988 | Reset Sequences for Finite Automata with Application to Design of Parts Orienters. David Eppstein |
| 1988 | Semantics for Logic Programs without Occur Check. W. P. Weijland |
| 1988 | Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets. Shouwen Tang, Ronald V. Book |
| 1988 | Serializability in Distributed Systems with Handshaking. Ralph-Johan Back, Reino Kurki-Suonio |
| 1988 | Some Behavioural Aspects of Net Theory. P. S. Thiagarajan |
| 1988 | Systolic Architectures, Systems and Computations. Jozef Gruska |
| 1988 | The Complexity of Matrix Transposition on One-Tape Off-Line Turing Machines with Output Tape. Martin Dietzfelbinger, Wolfgang Maass |
| 1988 | The Equivalence of DGSM Replications on Q-Rational Languages is Decidable. Paavo Turakainen |
| 1988 | Transitive Orientations, Möbius Functions, and Complete Semi-Thue Systems for Free Partially Commutative Monoids. Volker Diekert |
| 1988 | Type Inference with Partial Types. Satish Thatte |
| 1988 | Zeta Functions of Recognizable Languages. Jean Berstel, Christophe Reutenauer |
| 1988 | regular Languages Defined with Generalized Quantifiers. Howard Straubing, Denis Thérien, Wolfgang Thomas |