| 2006 | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. | Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan |
| 2006 | Guessing Attacks and the Computational Soundness of Static Equivalence. | Martn Abadi, Mathieu Baudet, Bogdan Warinschi |
| 2005 | Free-Algebra Models for the | Ian Stark |
| 2005 | Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. | Lutz Schrder |
| 2005 | Component Refinement and CSC Solving for STG Decomposition. | Mark Schfer, Walter Vogler |
| 2005 | Third-Order Idealized Algol with Iteration Is Decidable. | Andrzej S. Murawski, Igor Walukiewicz |
| 2005 | Congruence for Structural Congruences. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | A Unifying Model of Variables and Names. | Marino Miculan, Kidane Yemane |
| 2005 | Bisimulation on Speed: A Unified Approach. | Gerald Lttgen, Walter Vogler |
| 2005 | Alternating Timed Automata. | Slawomir Lasota, Igor Walukiewicz |
| 2005 | Optimal Conditional Reachability for Multi-priced Timed Automata. | Kim Guldstrand Larsen, Jacob Illum Rasmussen |
| 2005 | Model Checking Durational Probabilistic Systems. | Franois Laroussinie, Jeremy Sproston |
| 2005 | Probabilistic Congruence for Semistochastic Generative Processes. | Ruggero Lanotte, Simone Tini |
| 2005 | Foundations of Web Transactions. | Cosimo Laneve, Gianluigi Zavattaro |
| 2005 | Confluence of Right Ground Term Rewriting Systems Is Decidable. | Lukasz Kaiser |
| 2005 | Full Abstraction for Polymorphic Pi-Calculus. | Alan Jeffrey, Julian Rathke |
| 2005 | Justifying Algorithms for | Healfdene Goguen |
| 2005 | Composition and Decomposition in True-Concurrency. | Sibylle Frschle |
| 2005 | Bridging Language-Based and Process Calculi Security. | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
| 2005 | Mathematical Models of Computational and Combinatorial Structures. | Marcelo P. Fiore |
| 2005 | Model Checking for Nominal Calculi. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
| 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 | Axiomatizations for Probabilistic Finite-State Behaviors. | Yuxin Deng, Catuscia Palamidessi |
| 2005 | A Simpler Proof Theory for Nominal Logic. | James Cheney |