| 2005 | Stochastic Transition Systems for Continuous State Spaces and Non-determinism. | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
| 2005 | From Separation Logic to First-Order Logic. | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
| 2005 | On Decidability Within the Arithmetic of Addition and Divisibility. | Marius Bozga, Radu Iosif |
| 2005 | Fault Diagnosis Using Timed Automata. | Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza |
| 2005 | The Complexity of Live Sequence Charts. | Yves Bontemps, Pierre-Yves Schobbens |
| 2005 | Duality for Logics of Transition Systems. | Marcello M. Bonsangue, Alexander Kurz |
| 2005 | History-Based Access Control with Local Policies. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | Safety Is not a Restriction at Level 2 for String Languages. | Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong |
| 2005 | Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. | Samy Abbes, Albert Benveniste |
| 2004 | A Note on the Perfect Encryption Assumption in a Process Calculus. | Roberto Zunino, Pierpaolo Degano |
| 2004 | Perfect-Information Stochastic Parity Games. | Wieslaw Zielonka |
| 2004 | Strong Bisimulation for the Explicit Fusion Calculus. | Lucian Wischik, Philippa Gardner |
| 2004 | Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. | Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
| 2004 | Reasoning about Dynamic Policies. | Riccardo Pucella, Vicky Weissman |
| 2004 | Canonical Models for Computational Effects. | John Power |
| 2004 | Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. | Emmanuel Polonowski |
| 2004 | Electoral Systems in Ambient Calculi. | Iain Phillips, Maria Grazia Vigliotti |
| 2004 | Duality for Labelled Markov Processes. | Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell |
| 2004 | Theories for the Global Ubiquitous Computer. | Robin Milner |
| 2004 | On Term Rewriting Systems Having a Rational Derivation. | Antoine Meyer |
| 2004 | Tree Transducers and Tree Compressions. | Sebastian Maneth, Giorgio Busatto |
| 2004 | On Recognizable Timed Languages. | Oded Maler, Amir Pnueli |
| 2004 | Bisimulation on Speed: Lower Time Bounds. | Gerald Lttgen, Walter Vogler |
| 2004 | Polynomials for Proving Termination of Context-Sensitive Rewriting. | Salvador Lucas |
| 2004 | Partial Correctness Assertions Provable in Dynamic Logics. | Daniel Leivant |