| 2005 | A Game Semantics of the Asynchronous | Jim Laird |
| 2005 | Merged Processes - A New Condensed Representation of Petri Net Behaviour. | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2005 | Constraint Solving for Contract-Signing Protocols. | Detlef Khler, Ralf Ksters |
| 2005 | Timed Spi-Calculus with Types for Secrecy and Authenticity. | Christian Haack, Alan Jeffrey |
| 2005 | A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. | Eric Goubault, Emmanuel Haucourt |
| 2005 | Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. | Andrew D. Gordon, Alan Jeffrey |
| 2005 | The Individual and Collective Token Interpretations of Petri Nets. | Rob J. van Glabbeek |
| 2005 | Games Where You Can Play Optimally Without Any Memory. | Hugo Gimbert, Wieslaw Zielonka |
| 2005 | On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. | Blaise Genest |
| 2005 | Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. | Paul Gastin, Dietrich Kuske |
| 2005 | Type-Directed Concurrency. | Deepak Garg, Frank Pfenning |
| 2005 | Bisimulations Up-to for the Linear Time Branching Time Spectrum. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez |
| 2005 | Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. | Sibylle Frschle, Slawomir Lasota |
| 2005 | A Theory of System Behaviour in the Presence of Node and Link Failures. | Adrian Francalanza, Matthew Hennessy |
| 2005 | Static Analysis Versus Model Checking for Bug Finding. | Dawson R. Engler |
| 2005 | Timed Shuffle Expressions. | Catalin Dima |
| 2005 | Verification of Qualitative Constraints. | Stphane Demri, Rgis Gascon |
| 2005 | The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. | Pedro R. D'Argenio, Biniam Gebremichael |
| 2005 | Transactions in RCCS. | Vincent Danos, Jean Krivine |
| 2005 | Two-Player Nonzero-Sum | Krishnendu Chatterjee |
| 2005 | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | A Compositional Approach to the Stochastic Dynamics of Gene Networks. | Luca Cardelli |
| 2005 | Deriving Weak Bisimulation Congruences from Reduction Systems. | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2005 | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | A Behavioural Pseudometric for Metric Labelled Transition Systems. | Franck van Breugel |