| 1998 | A Complex Example of a Simplifying Rewrite System. Hélène Touzet |
| 1998 | A Degree-Decreasing Lemma for (MOD q - MOD p) Circuits. Vince Grolmusz |
| 1998 | A Genuinely Polynomial-Time Algorithms for Sampling Two-Rowed Contingency Tables. Martin E. Dyer, Catherine S. Greenhill |
| 1998 | A Good Class of Tree Automata and Application to Inductive Theorem Proving. Denis Lugiez |
| 1998 | A Hierarchy of Equivalences for Asynchronous Calculi. Cédric Fournet, Georges Gonthier |
| 1998 | A Modular Approach to Denotational Semantics. John Power, Giuseppe Rosolini |
| 1998 | A Neuroidal Architecture for Cognitive Computation. Leslie G. Valiant |
| 1998 | A Polynomial Time Approximation Scheme for Euclidean Minimum Cost k-Connectivity. Artur Czumaj, Andrzej Lingas |
| 1998 | A Simple Solution to Type Specialization. Olivier Danvy |
| 1998 | A Total AC-Compatible Reduction Ordering on Higher-Order Terms. Daria Walukiewicz |
| 1998 | Algorithmic Verification of Linear Temporal Logic Specifications. Yonit Kesten, Amir Pnueli, Li-on Raviv |
| 1998 | An Algebraic Approach to Communication Complexity. Jean-François Raymond, Pascal Tesson, Denis Thérien |
| 1998 | An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs. Vladimir A. Zakharov |
| 1998 | Application of Lempel-Ziv Encodings to the Solution of Words Equations. Wojciech Plandowski, Wojciech Rytter |
| 1998 | Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel |
| 1998 | Axioms for Contextual Net Processes. Fabio Gadducci, Ugo Montanari |
| 1998 | Bridges for Concatenation Hierarchies. Jean-Eric Pin |
| 1998 | Bulk-Synchronous Parallel Multiplication of Boolean Matrices. Alexandre Tiskin |
| 1998 | CONS-Free Programs with Tree Input (Extended Abstract). Amir M. Ben-Amram, Holger Petersen |
| 1998 | Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. Zhoujun Li, Huowang Chen |
| 1998 | Compact Encodings of Planar Graphs via Canonical Orderings and Multiple Parentheses. Richie Chih-Nan Chuang, Ashim Garg, Xin He, Ming-Yang Kao, Hsueh-I Lu |
| 1998 | Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. Huimin Lin |
| 1998 | Computing Mimicking Networks. Shiva Chaudhuri, K. V. Subrahmanyam, Frank Wagner, Christos D. Zaroliagis |
| 1998 | Concatenable Graph Processes: Relating Processes and Derivation Traces. Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | Concurrent Constraints in the Fusion Calculus. Björn Victor, Joachim Parrow |
| 1998 | Constraint Automata and the Complexity of Recursive Subtype Entailment. Fritz Henglein, Jakob Rehof |
| 1998 | Deciding Bisimulation-Like Equivalences with Finite-State Processes. Petr Jancar, Antonín Kucera, Richard Mayr |
| 1998 | Deciding Global Partial-Order Properties. Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1998 | Deterministic Polylog Approximation for Minimum Communication Spanning Trees. David Peleg, Eilon Reshef |
| 1998 | Difficult Configurations - On the Complexity of LTrL. Igor Walukiewicz |
| 1998 | Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees. David Peleg |
| 1998 | Do Probabilistic Algorithms Outperform Deterministic Ones? Avi Wigderson |
| 1998 | Efficient Approximation Algorithms for the Subset-Sums Equality Problem. Cristina Bazgan, Miklos Santha, Zsolt Tuza |
| 1998 | Efficient Minimization of Numerical Summation Errors. Ming-Yang Kao, Jie Wang |
| 1998 | Efficient Simulations by Queue Machines. Holger Petersen, John Michael Robson |
| 1998 | Existential Types: Logical Relations and Operational Equivalence. Andrew M. Pitts |
| 1998 | Explicit Substitutions for Constructive Necessity. Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1998 | Generalised Flowcharts and Games. Pasquale Malacaria, Chris Hankin |
| 1998 | Geometric Algorithms for Robotic Manipulation. Mark H. Overmars |
| 1998 | Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. Peter Sewell |
| 1998 | Hardness Results for Dynamic Problems by Extensions of Fredman and Saks' Chronogram Method. Thore Husfeldt, Theis Rauhe |
| 1998 | Image Density is Complete for Non-Interactive-SZK (Extended Abstract). Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, Moti Yung |
| 1998 | Improved Pseudorandom Generators for Combinatorial Rectangles. Chi-Jen Lu |
| 1998 | Independent Sets with Domination Constraints. Magnús M. Halldórsson, Jan Kratochvíl, Jan Arne Telle |
| 1998 | Inversion of Circulant Matrices over Z Dario Bini, Gianna M. Del Corso, Giovanni Manzini, Luciano Margara |
| 1998 | Limited Wavelength Conversion in All-Optical Tree Networks. Luisa Gargano |
| 1998 | Locally Periodic Infinite Words and a Chaotic Behaviour. Juhani Karhumäki, Arto Lepistö, Wojciech Plandowski |
| 1998 | Low-Bandwidth Routing and Electrical Power Networks. Doug Cook, Vance Faber, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann |
| 1998 | Metric Semantics for True Concurrent Real Time. Christel Baier, Joost-Pieter Katoen, Diego Latella |
| 1998 | Model Checking Game Properties of Multi-agent Systems (Abstract). Thomas A. Henzinger |
| 1998 | Multi-Stage Programming: Axiomatization and Type Safety. Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1998 | New Horizons in Quantum Information Processing. Gilles Brassard |
| 1998 | On Asynchrony in Name-Passing Calculi. Massimo Merro, Davide Sangiorgi |
| 1998 | On Branching Programs With Bounded Uncertainty (Extended Abstract). Stasys Jukna, Stanislav Zák |
| 1998 | On Computing the Entropy of Cellular Automata. Michele d'Amico, Giovanni Manzini, Luciano Margara |
| 1998 | On Existentially First-Order Definable Languages and Their Relation to NP. Bernd Borchert, Dietrich Kuske, Frank Stephan |
| 1998 | On a Duality Between Kruskal and Dershowitz Theorems. Paul-André Melliès |
| 1998 | On the Complexity of Deriving Score Functions from Examples for Problems in Molecular Biology. Tatsuya Akutsu, Mutsunori Yagiura |
| 1998 | On the Determinization of Weighted Finite Automata. Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery R. Westbrook |
| 1998 | On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). Bernard Boigelot, Stéphane Rassart, Pierre Wolper |
| 1998 | Optimal Sampling Strategies in Quicksort. Conrado Martínez, Salvador Roura |
| 1998 | Partial-Congruence Factorization of Bisimilarity Induced by Open Maps. Slawomir Lasota |
| 1998 | Power of Cooperation and Multihead Finite Systems. Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys |
| 1998 | Protection in Programming-Language Translations. Martín Abadi |
| 1998 | Quantum Counting. Gilles Brassard, Peter Høyer, Alain Tapp |
| 1998 | Randomness Spaces. Peter Hertling, Klaus Weihrauch |
| 1998 | Reasoning about The Past with Two-Way Automata. Moshe Y. Vardi |
| 1998 | Reducing Simple Polygons to Triangles - A Proof for an Improved Conjecture. Thorsten Graf, Kamakoti Veezhinathan |
| 1998 | Reset Nets Between Decidability and Undecidability. Catherine Dufourd, Alain Finkel, Philippe Schnoebelen |
| 1998 | Robust Asynchronous Protocols Are Finite-State. Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
| 1998 | Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. Ivan Damgård, Birgit Pfitzmann |
| 1998 | Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). Xinxin Liu, Scott A. Smolka |
| 1998 | Simpler and Faster Dictionaries on the AC Torben Hagerup |
| 1998 | Static and Dynamic Low-Congested Interval Routing Schemes. Serafino Cicerone, Gabriele Di Stefano, Michele Flammini |
| 1998 | Structural Recursive Definitions in Type Theory. Eduardo Giménez |
| 1998 | The Regular Real-Time Languages. Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens |
| 1998 | The Relevance of Proof-Irrelevance. Gilles Barthe |
| 1998 | Totality, Definability and Boolean Ciruits. Antonio Bucciarelli, Ivano Salvo |
| 1998 | Translation Validation for Synchronous Languages. Amir Pnueli, Ofer Strichman, Michael Siegel |