| 2000 | Verifying Performance Equivalence for Timed Basic Parallel Processes. | Batrice Brard, Anne Labroue, Philippe Schnoebelen |
| 2000 | Constructor Subtyping in the Calculus of Inductive Constructions. | Gilles Barthe, Femke van Raamsdonk |
| 2000 | Norm Functions for Probabilistic Bisimulations with Delays. | Christel Baier, Marille Stoelinga |
| 1999 | Reasoning About Concurrent Systems Using Types. | Davide Sangiorgi |
| 1999 | A pi-calculus Process Semantics of Concurrent Idealised ALGOL. | Christine Rckl, Davide Sangiorgi |
| 1999 | Probabilistic Temporal Logics via the Modal Mu-Calculus. | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
| 1999 | Matching Specifications for Message Sequence Charts. | Anca Muscholl |
| 1999 | String Languages Generated by Total Deterministic Macro Tree Transducers. | Sebastian Maneth |
| 1999 | A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects. | Marina Lenisa |
| 1999 | Model Checking Logics for Communicating Sequential Agents. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1999 | Equational Properties of Mobile Ambients. | Andrew D. Gordon, Luca Cardelli |
| 1999 | Categorical Models of Explicit Substitutions. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1999 | An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. | Javier Esparza, Jens Knoop |
| 1999 | A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. | Evgeny Dantsin, Andrei Voronkov |
| 1999 | A Theory of "May" Testing for Asynchronous Languages. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | The Recognizability Problem for Tree Automata with Comparisons between Brothers. | Bruno Bogaert, Franck Seynhaeve, Sophie Tison |
| 1999 | A WP-calculus for OO. | Frank S. de Boer |
| 1999 | Static Analysis of Processes for No and Read-Up nad No Write-Down. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1999 | An Algebraic Characterization of Typability in ML with Subtyping. | Marcin Benke |
| 1999 | Expanding the Cube. | Gilles Barthe |
| 1999 | Unfolding and Event Structure Semantics for Graph Grammars. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1999 | A Strong Logic Programming View for Static Embedded Implications. | Rosa Arruabarrena, Paqui Lucio, Marisa Navarro |
| 1999 | Testing Hennessy-Milner Logic with Recursion. | Luca Aceto, Anna Inglfsdttir |
| 1999 | Security Protocols and Specifications. | Martn Abadi |
| 1998 | Resource Based Models for Asynchrony. | Julian Rathke |