| 2009 | A Kleene Theorem for Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | Reactive Systems, Barbed Semantics, and the Mobile Ambients. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2009 | Realizability of Concurrent Recursive Programs. | Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl |
| 2009 | Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. | Lars Birkedal, Kristian Stvring, Jacob Thamsborg |
| 2009 | Interrupt Timed Automata. | Batrice Brard, Serge Haddad |
| 2009 | Beyond Shapes: Lists with Ordered Data. | Kshitij Bansal, Rmi Brochenin, tienne Lozes |
| 2009 | On the Expressive Power of Restriction and Priorities in CCS with Replication. | Jess Aranda, Frank D. Valencia, Cristian Versari |
| 2009 | Separating Graph Logic from MSO. | Timos Antonopoulos, Anuj Dawar |
| 2009 | On Omega-Languages Defined by Mean-Payoff Conditions. | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
| 2009 | Temporal Reasoning about Program Executions. | Rajeev Alur |
| 2009 | A Description of Iterative Reflections of Monads (Extended Abstract). | Jir Admek, Stefan Milius, Jir Velebil |
| 2009 | Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. | Parosh Aziz Abdulla, Richard Mayr |
| 2009 | Concurrency, sigma-Algebras, and Probabilistic Fairness. | Samy Abbes, Albert Benveniste |
| 2008 | Finding Your Way in a Forest: On Different Types of Trees and Their Properties. | Igor Walukiewicz |
| 2008 | The Complexity of Nash Equilibria in Infinite Multiplayer Games. | Michael Ummels |
| 2008 | A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). | Peter Selinger, Benot Valiron |
| 2008 | Footprints in Local Reasoning. | Mohammad Raza, Philippa Gardner |
| 2008 | Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. | Guilherme Rangel, Barbara Knig, Hartmut Ehrig |
| 2008 | Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. | Dirk Pattinson, Lutz Schrder |
| 2008 | Systems of Equations Satisfied in All Commutative Finite Semigroups. | Pawel Parys |
| 2008 | Erasure and Polymorphism in Pure Type Systems. | Nathan Mishra-Linger, Tim Sheard |
| 2008 | Structural Operational Semantics for Stochastic Process Calculi. | Bartek Klin, Vladimiro Sassone |
| 2008 | Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. | Kentaro Kikuchi, Stphane Lengrand |
| 2008 | The Microcosm Principle and Concurrency in Coalgebra. | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
| 2008 | What Else Is Decidable about Integer Arrays?. | Peter Habermehl, Radu Iosif, Toms Vojnar |