| 2003 | Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. | Patrick Maier |
| 2003 | Counting and Equality Constraints for Multitree Automata. | Denis Lugiez |
| 2003 | A Game Semantics of Linearly Used Continuations. | James Laird |
| 2003 | The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. | Emanuel Kieronski |
| 2003 | Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. | Matthew Hennessy, Massimo Merro, Julian Rathke |
| 2003 | Cones and Foci for Protocol Verification Revisited. | Wan J. Fokkink, Jun Pang |
| 2003 | Type Assignment for Intersections and Unions in Call-by-Value Languages. | Jana Dunfield, Frank Pfenning |
| 2003 | The Converse of a Stochastic Relation. | Ernst-Erich Doberkat |
| 2003 | Manipulating Trees with Hidden Labels. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2003 | An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. | Franck van Breugel, Michael W. Mislove, Jol Ouaknine, James Worrell |
| 2003 | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. | Olivier Bournez, Felipe Cucker, Paulin Jacob de Naurois, Jean-Yves Marion |
| 2003 | When Ambients Cannot Be Opened. | Iovka Boneva, Jean-Marc Talbot |
| 2003 | A Normalisation Result for Higher-Order Calculi with Explicit Substitutions. | Eduardo Bonelli |
| 2003 | Verification of Cryptographic Protocols: Tagging Enforces Termination. | Bruno Blanchet, Andreas Podelski |
| 2003 | Model Checking Lossy Channels Systems Is Probably Decidable. | Nathalie Bertrand, Philippe Schnoebelen |
| 2003 | Genericity and the pi-Calculus. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2003 | Parameterized Verification by Probabilistic Abstraction. | Tamarah Arons, Amir Pnueli, Lenore D. Zuck |
| 2003 | Ambiguous Classes in the Games -Calculus Hierarchy. | Andr Arnold, Luigi Santocanale |
| 2003 | A Game Semantics for Generic Polymorphism. | Samson Abramsky, Radha Jagadeesan |
| 2003 | Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. | Andreas Abel, Ralph Matthes, Tarmo Uustalu |
| 2003 | Verification of Probabilistic Systems with Faulty Communication. | Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
| 2003 | Categories of Containers. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2002 | Linearity and Bisimulation. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2002 | A Semantic Basis for Local Reasoning. | Hongseok Yang, Peter W. O'Hearn |
| 2002 | Note on the Tableau Technique for Commutative Transition Systems. | Jir Srba |