| 1998 | Deciding Global Partial-Order Properties. | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1998 | On the Complexity of Deriving Score Functions from Examples for Problems in Molecular Biology. | Tatsuya Akutsu, Mutsunori Yagiura |
| 1998 | Protection in Programming-Language Translations. | Martn Abadi |
| 1997 | Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic. | Thomas Wilke |
| 1997 | Computability on the Probability Measures on the Borel Sets of the Unit Interval. | Klaus Weihrauch |
| 1997 | Efficiency of Asynchronous Systems and Read Arcs in Petri Nets. | Walter Vogler |
| 1997 | Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. | Erik P. de Vink, Jan J. M. M. Rutten |
| 1997 | The Equivalence Problem for Deterministic Pushdown Automata is Decidable. | Graud Snizergues |
| 1997 | Periodic and Non-periodic Min-Max Equations. | Uwe Schwiegelshohn, Lothar Thiele |
| 1997 | Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract). | Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano |
| 1997 | The Name Discipline of Uniform Receptiveness (Extended Abstract). | Davide Sangiorgi |
| 1997 | Termination of Constraint Logic Programs. | Salvatore Ruggieri |
| 1997 | An Improved Master Theorem for Divide-and-Conquer Recurrences. | Salvador Roura |
| 1997 | On the Concentration of the Height of Binary Search Trees. | John Michael Robson |
| 1997 | On Explicit Substitution and Names (Extended Abstract). | Eike Ritter, Valeria de Paiva |
| 1997 | Distributed Processes and Location Failures (Extended Abstract). | James Riely, Matthew Hennessy |
| 1997 | On Confluence in the pi-Calculus. | Anna Philippou, David Walker |
| 1997 | NP-Completeness: A Retrospective. | Christos H. Papadimitriou |
| 1997 | The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent. | Paliath Narendran, Friedrich Otto |
| 1997 | Graphical Calculi for Interaction (Abstract). | Robin Milner |
| 1997 | The LEDA Platform of Combinatorial and Geometric Computing. | Kurt Mehlhorn, Stefan Nher, Christian Uhrig |
| 1997 | A Semantically Sound Actor Tranlsation. | Ian A. Mason, Carolyn L. Talcott |
| 1997 | The Theory of Vaccines. | Massimo Marchiori |
| 1997 | A Complete and Efficiently Computable Topological Classification of D-dimensional Linear Cellular Automata over Z | Giovanni Manzini, Luciano Margara |
| 1997 | Recursive Computational Depth. | James I. Lathrop, Jack H. Lutz |