| 2003 | Logic in Access Control. | Martn Abadi |
| 2002 | The Powerdomain of Indexed Valuations. | Daniele Varacca |
| 2002 | Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. | Ashish Tiwari |
| 2002 | On The Lambda Y Calculus. | Richard Statman |
| 2002 | The Proof Complexity of Linear Algebra. | Michael Soltys, Stephen A. Cook |
| 2002 | Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. | Alex K. Simpson |
| 2002 | Little Engines of Proof. | Natarajan Shankar |
| 2002 | Separation Logic: A Logic for Shared Mutable Data Structures. | John C. Reynolds |
| 2002 | Semantics and Logic of Object Calculi. | Bernhard Reus, Thomas Streicher |
| 2002 | Semantic Minimization of 3-Valued Propositional Formulae. | Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
| 2002 | Efficient Type Inference for Record Concatenation and Subtyping. | Jens Palsberg, Tian Zhao |
| 2002 | Modal and Guarded Characterisation Theorems over Finite Transition Systems. | Martin Otto |
| 2002 | Observational Equivalence of 3rd-Order Idealized Algol is Decidable. | C.-H. Luke Ong |
| 2002 | Linearity in Process Languages. | Mikkel Nygaard, Glynn Winskel |
| 2002 | Automatic Decidability. | Christopher Lynch, Barbara Morawska |
| 2002 | Calibrating Computational Feasibility by Abstraction Rank. | Daniel Leivant |
| 2002 | Polarized Games. | Olivier Laurent |
| 2002 | Temporal Logic with Forgettable Past. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. | Sophie Laplante, Richard Lassaigne, Frdric Magniez, Sylvain Peyronnet, Michel de Rougemont |
| 2002 | Expressive Equivalence of Least and Inflationary Fixed-Point Logic. | Stephan Kreutzer |
| 2002 | A Fully Abstract May Testing Semantics for Concurrent Objects. | Alan Jeffrey, Julian Rathke |
| 2002 | Some Results on Automatic Structures. | Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |
| 2002 | Games on Graphs and Sequentially Realizable Functionals. | Martin Hyland, Andrea Schalk |
| 2002 | Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2002 | Separability, Expressiveness, and Decidability in the Ambient Logic. | Daniel Hirschkoff, tienne Lozes, Davide Sangiorgi |