| 2010 | Toward a Compositional Theory of Leftist Grammars and Transformations. | Pierre Chambart, Philippe Schnoebelen |
| 2010 | An Easy Completeness Proof for the Modal | Balder ten Cate, Galle Fontaine |
| 2010 | The Complexity of Synchronous Notions of Information Flow Security. | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
| 2010 | Fair Adversaries and Randomization in Two-Player Games. | Eugene Asarin, Raphal Chane-Yack-Fa, Daniele Varacca |
| 2010 | Monads Need Not Be Endofunctors. | Thorsten Altenkirch, James Chapman, Tarmo Uustalu |
| 2010 | On the Relationship between Spatial Logics and Behavioral Simulations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2009 | Facets of Synthesis: Revisiting Church's Problem. | Wolfgang Thomas |
| 2009 | Dependency Tree Automata. | Colin Stirling |
| 2009 | On the Foundations of Quantitative Information Flow. | Geoffrey Smith |
| 2009 | Tighter Bounds for the Determinisation of Bchi Automata. | Sven Schewe |
| 2009 | Delayed Nondeterminism in Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Marille Stoelinga, Joost-Pieter Katoen |
| 2009 | Coalgebraic Hybrid Logic. | Robert S. R. Myers, Dirk Pattinson, Lutz Schrder |
| 2009 | Full Abstraction for Reduced ML. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2009 | Synthesis from Component Libraries. | Yoad Lustig, Moshe Y. Vardi |
| 2009 | Parameter Reduction in Grammar-Compressed Trees. | Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schau |
| 2009 | Normal Bisimulations in Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | On the Completeness of Dynamic Logic. | Daniel Leivant |
| 2009 | Lower Bounds on Witnesses for Nonemptiness of Universal Co-Bchi Automata. | Orna Kupferman, Nir Piterman |
| 2009 | Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. | Morten Khnrich, Stefan Schwoon, Jir Srba, Stefan Kiefer |
| 2009 | Cryptographic Protocol Composition via the Authentication Tests. | Joshua D. Guttman |
| 2009 | Logics and Bisimulation Games for Concurrency, Causality and Conflict. | Julian Gutierrez |
| 2009 | The Calculus of Handshake Configurations. | Luca Fossati, Daniele Varacca |
| 2009 | Least and Greatest Fixpoints in Game Semantics. | Pierre Clairambault |
| 2009 | Bisimulation for Demonic Schedulers. | Konstantinos Chatzikokolakis, Gethin Norman, David Parker |
| 2009 | On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. | Christopher H. Broadbent, C.-H. Luke Ong |