| 1998 | A Cook's Tour of Equational Axiomatizations for Prefix Iteration. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
| 1998 | An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | Analysis of a Guard Condition in Type Theory (Extended Abstract). Roberto M. Amadio, Solange Coupet-Grimal |
| 1998 | Asynchronous Observations of Processes. Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | Deciding Properties for Message Sequence Charts. Anca Muscholl, Doron A. Peled, Zhendong Su |
| 1998 | Deterministic Rational Transducers and Random Sequences. Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin |
| 1998 | Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Maurice Nivat |
| 1998 | Functor Categories and Two-Level Languages. Eugenio Moggi |
| 1998 | Generalizing Domain Theory. Michael W. Mislove |
| 1998 | Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. Anne Bottreau, Yves Métivier |
| 1998 | Mobile Ambients. Luca Cardelli, Andrew D. Gordon |
| 1998 | Net Refinement by Pullback Rewriting. Renate Klempien-Hinrichs |
| 1998 | On Piecewise Testable, Starfree, and Recognizable Picture Languages. Oliver Matz |
| 1998 | Partial Metrics and Co-continuous Valuations. Michael A. Bukatin, Svetlana Yu. Shorina |
| 1998 | Pumping Lemmas for Timed Automata. Danièle Beauquier |
| 1998 | Rational Term Rewriting. Andrea Corradini, Fabio Gadducci |
| 1998 | Resource Based Models for Asynchrony. Julian Rathke |
| 1998 | The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. Reinhold Heckmann |
| 1998 | The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. Gundula Niemann, Friedrich Otto |
| 1998 | The WHILE Hierarchy of Program Schemes Is Infinite. Can Adam Albayrak, Thomas Noll |