| 2004 | A Game Semantics of Local Names and Good Variables. | James Laird |
| 2004 | Adhesive Categories. | Stephen Lack, Pawel Sobocinski |
| 2004 | Distance Desert Automata and the Star Height One Problem. | Daniel Kirsten |
| 2004 | safeDpi: A Language for Controlling Mobile Code. | Matthew Hennessy, Julian Rathke, Nobuko Yoshida |
| 2004 | Unifying Recursive and Co-recursive Definitions in Sheaf Categories. | Pietro Di Gianantonio, Marino Miculan |
| 2004 | On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
| 2004 | Angelic Semantics of Fine-Grained Concurrency. | Dan R. Ghica, Andrzej S. Murawski |
| 2004 | Specifying and Verifying Partial Order Properties Using Template MSCs. | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 2004 | On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. | Wan J. Fokkink, Sumit Nain |
| 2004 | A Denotational Account of Untyped Normalization by Evaluation. | Andrzej Filinski, Henning Korsholm Rohde |
| 2004 | Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. | Hartmut Ehrig, Barbara Knig |
| 2004 | LTL over Integer Periodicity Constraints: (Extended Abstract). | Stphane Demri |
| 2004 | Decidability of Freshness, Undecidability of Revelation. | Giovanni Conforti, Giorgio Ghelli |
| 2004 | Intruder Theories (Ongoing Work). | Hubert Comon-Lundh |
| 2004 | Election and Local Computations on Edges. | Jrmie Chalopin, Yves Mtivier |
| 2004 | Behavioral and Spatial Observations in a Logic for the pi-Calculus. | Lus Caires |
| 2004 | Hypergraphs and Degrees of Parallelism: A Completeness Result. | Antonio Bucciarelli, Benjamin Leperchey |
| 2004 | On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. | Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 2004 | Soft lambda-Calculus: A Language for Polynomial Time Computation. | Patrick Baillot, Virgile Mogbil |
| 2004 | Choice in Dynamic Linking. | Martn Abadi, Georges Gonthier, Benjamin Werner |
| 2003 | On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the -Calculus. | Christoph Sprenger, Mads Dam |
| 2003 | Deriving Bisimulation Congruences: 2-Categories Vs Precategories. | Vladimiro Sassone, Pawel Sobocinski |
| 2003 | Abstraction in Reasoning about Higraph-Based Systems. | John Power, Konstantinos Tourlas |
| 2003 | Multi-level Meta-reasoning with Higher-Order Abstract Syntax. | Alberto Momigliano, Simon Ambler |
| 2003 | A Monadic Multi-stage Metalanguage. | Eugenio Moggi, Sonia Fagorzi |