| 2005 | A Category of Higher-Dimensional Automata. Ulrich Fahrenberg |
| 2005 | A Computational Model for Multi-variable Differential Calculus. Abbas Edalat, André Lieutier, Dirk Pattinson |
| 2005 | A Simpler Proof Theory for Nominal Logic. James Cheney |
| 2005 | A Unifying Model of Variables and Names. Marino Miculan, Kidane Yemane |
| 2005 | Alternating Timed Automata. Slawomir Lasota, Igor Walukiewicz |
| 2005 | Axiomatizations for Probabilistic Finite-State Behaviors. Yuxin Deng, Catuscia Palamidessi |
| 2005 | Bisimulation on Speed: A Unified Approach. Gerald Lüttgen, Walter Vogler |
| 2005 | Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. Samy Abbes, Albert Benveniste |
| 2005 | Bridging Language-Based and Process Calculi Security. Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
| 2005 | Component Refinement and CSC Solving for STG Decomposition. Mark Schäfer, Walter Vogler |
| 2005 | Composition and Decomposition in True-Concurrency. Sibylle B. Fröschle |
| 2005 | Confluence of Right Ground Term Rewriting Systems Is Decidable. Lukasz Kaiser |
| 2005 | Congruence for Structural Congruences. Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | Duality for Logics of Transition Systems. Marcello M. Bonsangue, Alexander Kurz |
| 2005 | Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. Lutz Schröder |
| 2005 | Fault Diagnosis Using Timed Automata. Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza |
| 2005 | Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings Vladimiro Sassone |
| 2005 | Foundations of Web Transactions. Cosimo Laneve, Gianluigi Zavattaro |
| 2005 | Free-Algebra Models for the Ian Stark |
| 2005 | From Separation Logic to First-Order Logic. Cristiano Calcagno, Philippa Gardner, Matthew Hague |
| 2005 | Full Abstraction for Polymorphic Pi-Calculus. Alan Jeffrey, Julian Rathke |
| 2005 | History-Based Access Control with Local Policies. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | Justifying Algorithms for Healfdene Goguen |
| 2005 | Mathematical Models of Computational and Combinatorial Structures. Marcelo P. Fiore |
| 2005 | Model Checking Durational Probabilistic Systems. François Laroussinie, Jeremy Sproston |
| 2005 | Model Checking for Nominal Calculi. Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
| 2005 | On Decidability Within the Arithmetic of Addition and Divisibility. Marius Bozga, Radu Iosif |
| 2005 | Optimal Conditional Reachability for Multi-priced Timed Automata. Kim Guldstrand Larsen, Jacob Illum Rasmussen |
| 2005 | Probabilistic Congruence for Semistochastic Generative Processes. Ruggero Lanotte, Simone Tini |
| 2005 | Safety Is not a Restriction at Level 2 for String Languages. Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong |
| 2005 | Stochastic Transition Systems for Continuous State Spaces and Non-determinism. Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
| 2005 | The Complexity of Live Sequence Charts. Yves Bontemps, Pierre-Yves Schobbens |
| 2005 | Third-Order Idealized Algol with Iteration Is Decidable. Andrzej S. Murawski, Igor Walukiewicz |