| 2012 | Backward induction in games of perfect information. | Robert J. Aumann |
| 2012 | The Semantics of Parsing with Semantic Actions. | Robert Atkey |
| 2012 | Regular Transformations of Infinite Strings. | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi |
| 2012 | Approximate Verification of the Symbolic Dynamics of Markov Chains. | Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan |
| 2012 | Coproducts of Monads on Set. | Jir Admek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy |
| 2012 | Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2011 | Logic in Software, Dynamical and Biological Systems. | Ashish Tiwari |
| 2011 | Concurrent Strategies. | Silvain Rideau, Glynn Winskel |
| 2011 | Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results. | Toniann Pitassi |
| 2011 | The Meaning of Semantics. | Prakash Panangaden |
| 2011 | Game Semantics for Good General References. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2011 | Forcing as a Program Transformation. | Alexandre Miquel |
| 2011 | A Type System for Complexity Flow Analysis. | Jean-Yves Marion |
| 2011 | The Ultimate Undecidability Result for the Halpern-Shoham Logic. | Jerzy Marcinkowski, Jakub Michaliszyn |
| 2011 | A Tetrachotomy for Positive First-Order Logic without Equality. | Florent R. Madelaine, Barnaby Martin |
| 2011 | Formalizing Randomized Matching Algorithms. | Dai Tri Man Le, Stephen A. Cook |
| 2011 | Linear Dependent Types and Relative Completeness. | Ugo Dal Lago, Marco Gaboardi |
| 2011 | Languages of Dot-Depth One over Infinite Words. | Manfred Kufleitner, Alexander Lauser |
| 2011 | The Complexity of Evaluating First-Order Sentences over a Fixed Structure. | Andrei A. Krokhin |
| 2011 | Ultrametric Semantics of Reactive Programs. | Neelakantan R. Krishnaswami, Nick Benton |
| 2011 | Complexity of Two-Variable Dependence Logic and IF-Logic. | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
| 2011 | Higher-Order Model Checking: From Theory to Practice. | Naoki Kobayashi |
| 2011 | Separation Logic in the Presence of Garbage Collection. | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2011 | Computational Complexity of Quantum Satisfiability. | Christian Herrmann, Martin Ziegler |
| 2011 | Proof Nets for Additive Linear Logic with Units. | Willem Heijltjes |