| 2005 | Inverse and Implicit Functions in Domain Theory. | Abbas Edalat, Dirk Pattinson |
| 2005 | Modal Characterisation Theorems over Special Classes of Frames. | Anuj Dawar, Martin Otto |
| 2005 | Generalized Majority-Minority Operations are Tractable. | Vctor Dalmau |
| 2005 | Mean-Payoff Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2005 | Semantic Subtyping for the p-Calculus. | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
| 2005 | Expressiveness of a Spatial Logic for Trees. | Iovka Boneva, Jean-Marc Talbot, Sophie Tison |
| 2005 | Automated Verification of Selected Equivalences for Security Protocols. | Bruno Blanchet, Martn Abadi, Cdric Fournet |
| 2005 | Semantics of Separation-Logic Typing and Higher-Order Frame Rules. | Lars Birkedal, Noah Torp-Smith, Hongseok Yang |
| 2005 | An Insider's Guide to Logic in Telecommunications Data. | Michael Benedikt |
| 2005 | Temporal Logics over Unranked Trees. | Pablo Barcel, Leonid Libkin |
| 2005 | Recognizing omega-regular Languages with Probabilistic Automata. | Christel Baier, Marcus Grer |
| 2005 | Regular Expressions in Process Algebra. | Jos C. M. Baeten, Flavio Corradini |
| 2005 | Definability on a Random 3-CNF Formula. | Albert Atserias |
| 2005 | On Digraph Coloring Problems and Treewidth Duality. | Albert Atserias |
| 2005 | A Functional Quantum Programming Language. | Thorsten Altenkirch, Jonathan Grattage |
| 2005 | Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |
| 2004 | Testing, Optimizaton, and Games. | Mihalis Yannakakis |
| 2004 | Model Checking Synchronized Products of Infinite Transition Systems. | Stefan Whrle, Wolfgang Thomas |
| 2004 | A Landscape with Games in the Backgroun. | Igor Walukiewicz |
| 2004 | A Symmetric Modal Lambda Calculus for Distributed Computing. | Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning |
| 2004 | Proof Nets and Boolean Circuits. | Kazushige Terui |
| 2004 | Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. | Sanjit A. Seshia, Randal E. Bryant |
| 2004 | Bisimulation: From The Origins to Today. | Davide Sangiorgi |
| 2004 | Feasible Proofs and Computations: Partnership and Fusion. | Alexander A. Razborov |
| 2004 | Transition Invariants. | Andreas Podelski, Andrey Rybalchenko |