| 2013 | Regular Real Analysis. | Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi |
| 2013 | Two-Variable Logic with Counting and Trees. | Witold Charatonik, Piotr Witkowski |
| 2013 | Trading Performance for Stability in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2013 | Model-Checking Parse Trees. | Anudhyan Boral, Sylvain Schmitz |
| 2013 | The Complexity of Model Checking Multi-stack Systems. | Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
| 2013 | Turing Machines with Atoms. | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk |
| 2013 | Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes. | Lars Birkedal, Rasmus Ejlers Mgelberg |
| 2013 | Substructure Temporal Logic. | Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
| 2013 | Bisimilarity of Pushdown Automata is Nonelementary. | Michael Benedikt, Stefan Gller, Stefan Kiefer, Andrzej S. Murawski |
| 2013 | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
| 2013 | The Cost of Usage in the Lambda-Calculus. | Andrea Asperti, Jean-Jacques Lvy |
| 2013 | Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. | Matthew Anderson, Anuj Dawar, Bjarki Holm |
| 2013 | From Monadic Second-Order Definable String Transformations to Transducers. | Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi |
| 2013 | Regular Functions and Cost Register Automata. | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |
| 2013 | Compressing Polarized Boxes. | Beniamino Accattoli |
| 2012 | Higher Semantics of Quantum Protocols. | Jamie Vicary |
| 2012 | Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving. | Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette |
| 2012 | An Automata Model for Trees with Ordered Data Values. | Tony Tan |
| 2012 | Induction in Algebra: A First Case Study. | Peter Schuster |
| 2012 | Constructing Fully Complete Models for Multiplicative Linear Logic. | Andrea Schalk, Hugh P. Steele |
| 2012 | Conservative Concurrency in Haskell. | David Sabel, Manfred Schmidt-Schau |
| 2012 | Interpretations in Trees with Countably Many Branches. | Alexander Rabinovich, Sasha Rubin |
| 2012 | The Complete Proof Theory of Hybrid Systems. | Andr Platzer |
| 2012 | Logics of Dynamical Systems. | Andr Platzer |
| 2012 | A Higher-Order Distributed Calculus with Name Creation. | Adrien Pirard, Eijiro Sumii |