| 1998 | Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis. | Makoto Tatsuta |
| 1998 | Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. | Eugene W. Stark, Scott A. Smolka |
| 1998 | Calculus in Coinductive Form. | Dusko Pavlovic, Martn Htzel Escard |
| 1998 | The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes | Joachim Parrow, Bjrn Victor |
| 1998 | Logic and Over-Simplification. | Roger M. Needham |
| 1998 | Efficient Representation and Validation of Proofs. | George C. Necula, Peter Lee |
| 1998 | The First-Order Theory of Ordering Constraints over Feature Trees. | Martin Mller, Joachim Niehren, Ralf Treinen |
| 1998 | A Stability Theorem in Rewriting Theory. | Paul-Andr Mellis |
| 1998 | Linear Logic | Ian Mackie |
| 1998 | On Counting Logics and Local Properties. | Leonid Libkin |
| 1998 | Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. | Orna Kupferman, Moshe Y. Vardi |
| 1998 | On the Boundedness Problem for Two-Variable First-Order Logic. | Phokion G. Kolaitis, Martin Otto |
| 1998 | An Axiomatics for Categories of Transition Systems as Coalgebras. | Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |
| 1998 | On Proofs about Threshold Circuits and Counting Hierarchies. | Jan Johannsen, Chris Pollett |
| 1998 | Convergence Results for Relational Bayesian Networks. | Manfred Jaeger |
| 1998 | Higher Dimensional Multigraphs. | Claudio Hermida, Michael Makkai, John Power |
| 1998 | Fixed-Point Logics on Planar Graphs. | Martin Grohe |
| 1998 | Completeness of a Relational Calculus for Program Schemes. | Marcelo F. Frias, Roger D. Maddux |
| 1998 | Invertibility in lambda-eta. | Enno Folkerts |
| 1998 | Recursive Types in Games: Axiomatics and Process Representation. | Marcelo P. Fiore, Kohei Honda |
| 1998 | Coinductive Techniques for Operational Equivalence of Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1998 | Phase Semantics and Verification of Concurrent Constraint Programs. | Franois Fages, Paul Ruet, Sylvain Soliman |
| 1998 | On Model Checking for Non-Deterministic Infinite-State Systems. | E. Allen Emerson, Kedar S. Namjoshi |
| 1998 | Existential Second-Order Logic over Strings. | Thomas Eiter, Georg Gottlob, Yuri Gurevich |
| 1998 | A Logical Characterization of Bisimulation for Labeled Markov Processes. | Jose Desharnais, Abbas Edalat, Prakash Panangaden |