| 2012 | Intensional and Extensional Characterisation of Global Progress in the π-Calculus. | Luca Fossati, Kohei Honda, Nobuko Yoshida |
| 2012 | Quantitative Languages Defined by Functional Automata. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2012 | Nested Protocols in Session Types. | Romain Demangeon, Kohei Honda |
| 2012 | Reachability Problem for Weak Multi-Pushdown Automata. | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
| 2012 | MSO Decidability of Multi-Pushdown Systems via Split-Width. | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | Specifying Stateful Asynchronous Properties for Distributed Programs. | Tzu-Chun Chen, Kohei Honda |
| 2012 | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | Strategy Synthesis for Multi-Dimensional Quantitative Objectives. | Krishnendu Chatterjee, Mickael Randour, Jean-Franois Raskin |
| 2012 | A Comparison of Succinctly Represented Finite-State Systems. | Romain Brenguier, Stefan Gller, Ocan Sankur |
| 2012 | Fluid Model Checking. | Luca Bortolussi, Jane Hillston |
| 2012 | Decidability Problems for Actor Systems. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
| 2012 | Concurrent Games on VASS with Inhibition. | Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2012 | Avoiding Shared Clocks in Networks of Timed Automata. | Sandie Balaguer, Thomas Chatain |
| 2012 | Turing Meets Milner. | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
| 2012 | Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. | Guy Avni, Orna Kupferman |
| 2012 | A Theory of History Dependent Abstractions for Learning Interface Automata. | Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
| 2011 | A Temporal Logic for the Interaction of Strategies. | Farn Wang, Chung-Hao Huang, Fang Yu |
| 2011 | The Complexity of Nash Equilibria in Limit-Average Games. | Michael Ummels, Dominik Wojtczak |
| 2011 | Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. | Salvatore La Torre, Margherita Napoli |
| 2011 | Bisimulations Meet PCTL Equivalences for Probabilistic Automata. | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
| 2011 | Efficient CTL Model-Checking for Pushdown Systems. | Fu Song, Tayssir Touili |
| 2011 | Efficient Contextual Unfolding. | Csar Rodrguez, Stefan Schwoon, Paolo Baldan |
| 2011 | Parameterized Complexity Results for 1-safe Petri Nets. | M. Praveen, Kamal Lodaya |
| 2011 | On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. | Paritosh K. Pandya, Simoni S. Shah |
| 2011 | Static Livelock Analysis in CSP. | Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |