| 2009 | Deriving Syntax and Axioms for Quantitative Regular Behaviours. | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | Algebra for Infinite Forests with an Application to the Temporal Logic EF. | Mikolaj Bojanczyk, Tomasz Idziaszek |
| 2009 | Distributed Asynchronous Automata. | Nicolas Baudru |
| 2009 | Encoding Asynchronous Interactions Using Open Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
| 2009 | A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. | Steffen van Bakel, Maria Grazia Vigliotti |
| 2009 | The Effect of Tossing Coins in Omega-Automata. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2009 | Volume and Entropy of Regular Timed Languages: Discretization Approach. | Eugene Asarin, Aldric Degorre |
| 2009 | Perspectives on Transactional Memory. | Martn Abadi, Tim Harris |
| 2008 | A Space-Efficient Probabilistic Simulation Algorithm. | Lijun Zhang |
| 2008 | Termination Problems in Chemical Kinetics. | Gianluigi Zavattaro, Luca Cardelli |
| 2008 | Deriving Structural Labelled Transitions for Mobile Ambients. | Julian Rathke, Pawel Sobocinski |
| 2008 | Taming Concurrency: A Program Verification Perspective. | Shaz Qadeer |
| 2008 | Knowledge and Information in Probabilistic Systems. | Prakash Panangaden |
| 2008 | Contract-Directed Synthesis of Simple Orchestrators. | Luca Padovani |
| 2008 | Invariants for Parameterised Boolean Equation Systems. | Simona Orzan, Tim A. C. Willemse |
| 2008 | Semantics of Deterministic Shared-Memory Systems. | Rmi Morin |
| 2008 | A Spatial Equational Logic for the Applied pi-Calculus. | tienne Lozes, Jules Villard |
| 2008 | Abstraction for Stochastic Systems by Erlang's Method of Stages. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2008 | Dynamic Partial Order Reduction Using Probe Sets. | Harmen Kastenberg, Arend Rensink |
| 2008 | Normed BPA vs. Normed BPP Revisited. | Petr Jancar, Martin Kot, Zdenek Sawa |
| 2008 | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. | Joseph Y. Halpern |
| 2008 | A Scalable and Oblivious Atomicity Assertion. | Rachid Guerraoui, Marko Vukolic |
| 2008 | Completeness and Nondeterminism in Model Checking Transactional Memories. | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
| 2008 | Towards a Unified Approach to Encodability and Separation Results for Process Calculi. | Daniele Gorla |
| 2008 | Subsequence Invariants. | Klaus Drger, Bernd Finkbeiner |