| 1999 | Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts. | Leszek Gasieniec, Alan Gibbons, Wojciech Rytter |
| 1999 | On Approximating the Number of Bases of Exchange Preserving Matroids. | Anna Gambin |
| 1999 | On-Line Addition in Real Base. | Christiane Frougny |
| 1999 | On Plain and Hereditary History-Preserving Bisimulation. | Sibylle B. Frschle, Thomas T. Hildebrandt |
| 1999 | An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover. | Henning Fernau, Rolf Niedermeier |
| 1999 | On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System. | Arnaud Durand, Miki Hermann, Laurent Juban |
| 1999 | An Algebraic Approach to Knowledge Representation. | Janis Cirulis |
| 1999 | Edge Coloring of Bipartite Graphs with Constraints. | Ioannis Caragiannis, Christos Kaklamanis, Pino Persiano |
| 1999 | Clausal Resolution for CTL | Alexander Bolotov, Clare Dixon, Michael Fisher |
| 1999 | The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. | Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann |
| 1999 | Football Elimination Is Hard to Decide Under the 3-Point-Rule. | Thorsten Bernholt, Alexander Glich, Thomas Hofmeister, Niels Schmitt |
| 1999 | Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. | Luca Aceto, Franois Laroussinie |
| 1998 | Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation. | Jir Wiedermann |
| 1998 | Towards Algorithmic Explanation of Mind Evolution and Functioning. | Jir Wiedermann |
| 1998 | A Finite Hierarchy of the Recursively Enumerable Real Numbers. | Klaus Weihrauch, Xizhong Zheng |
| 1998 | forall exists*-Equational Theory of Context Unification is Pi | Sergei G. Vorobyov |
| 1998 | Communication in Parallel Communicating Lindenmayer Systems (Extended Abstract). | Gyrgy Vaszil |
| 1998 | Encoding the Hydra Battle as a Rewrite System. | Hlne Touzet |
| 1998 | Representing Hyper-Graphs by Regular Languages. | Salvatore La Torre, Margherita Napoli |
| 1998 | The Joys of Bisimulation. | Colin Stirling |
| 1998 | Deadlocking States in Context-Free Process Algebra. | Jir Srba |
| 1998 | Eco-Grammar Systems, Decidability and the Tiling Problem. | Petr Sosk |
| 1998 | On the Composition Problem for OBDDs with Multiple Variable Orders. | Anna Slobodov |
| 1998 | Lazy Functional Algorithms for Exact Real Functionals. | Alex K. Simpson |
| 1998 | The Equivalence Problem for Deterministic Pushdown Transducers into Abelian Groups. | Graud Snizergues |