| 1998 | Reducing AC-Termination to Termination. | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
| 1998 | IFS and Control Languages. | Henning Fernau, Ludwig Staiger |
| 1998 | Model Checking Real-Time Properties of Symmetric Systems. | E. Allen Emerson, Richard J. Trefler |
| 1998 | Comparison Between the Complexity of a Function and the Complexity of Its Graph. | Bruno Durand, Sylvain Porrot |
| 1998 | On Boolean vs. Modular Arithmetic for Circuits and Communication Protocols. | Carsten Damm |
| 1998 | Cultural Eco-Grammar Systems: A Multi-Agent System for Cultural Change. | Erzsbet Csuhaj-Varj, Mara Dolores Jimnez-Lpez |
| 1998 | Networks of Language Processors: Distributed Communicating Architectures in Grammar Systems. | Erzsbet Csuhaj-Varj |
| 1998 | On Hybrid Eco-Rewriting Systems. | Judit Csima |
| 1998 | Minimal Forbidden Words and Factor Automata. | Maxime Crochemore, Filippo Mignosi, Antonio Restivo |
| 1998 | A Parallelization of Dijkstra's Shortest Path Algorithm. | Andreas Crauser, Kurt Mehlhorn, Ulrich Meyer, Peter Sanders |
| 1998 | Facial Circuits of Planar Graphs and Context-Free Languages. | Bruno Courcelle, Denis Lapoire |
| 1998 | Polymorphic Subtyping Without Distributivity. | Jacek Chrzaszcz |
| 1998 | Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms. | Marek Chrobak, Christoph Drr |
| 1998 | Equations in Transfinite Strings. | Christian Choffrut, Sndor Horvth |
| 1998 | Topological Definitions of Chaos Applied to Cellular Automata Dynamics. | Gianpiero Cattaneo, Luciano Margara |
| 1998 | Computing Linear Systems of First-order Equations on Integers and Naturals by Simple Eco-grammars. | Blanca Cases |
| 1998 | One Guess One-Way Cellular Arrays. | Thomas Buchholz, Andreas Klein, Martin Kutrib |
| 1998 | Degree-Preserving Forests. | Hajo Broersma, Andreas Huck, Ton Kloks, Otto R. Koppius, Dieter Kratsch, Haiko Mller, Hilde Tuinstra |
| 1998 | Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. | Egon Brger, Wolfram Schulte |
| 1998 | Nonstochastic Languages as Projections of 2-Tape Quasideterministic Languages. | Richard F. Bonner, Rusins Freivalds, Janis Lapins, Antra Lukjanska |
| 1998 | Tree Decompositions of Small Diameter. | Hans L. Bodlaender, Torben Hagerup |
| 1998 | A Computational Interpretation of the lambda-µ-Calculus. | Gavin M. Bierman |
| 1998 | Embedding of Hypercubes into Grids. | Sergei L. Bezrukov, Joe D. Chavez, L. H. Harper, Markus Rttger, Ulf-Peter Schroeder |
| 1998 | Positive Turing and Truth-Table Completeness for NEXP Are Incomparable. | Levke Bentzien |
| 1998 | Predicative Polymorphic Subtyping. | Marcin Benke |