| 2016 | Robust Equilibria in Mean-Payoff Games. | Romain Brenguier |
| 2016 | Guarded Dependent Type Theory with Coinductive Types. | Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Mgelberg, Lars Birkedal |
| 2016 | Join Inverse Categories as Models of Reversible Recursion. | Holger Bock Axelsen, Robin Kaarsgaard |
| 2016 | Unary Resolution: Characterizing Ptime. | Clment Aubert, Marc Bagnol, Thomas Seiller |
| 2016 | A Theory of Slicing for Probabilistic Control Flow Graphs. | Torben Amtoft, Anindya Banerjee |
| 2016 | Dependent Types and Fibred Computational Effects. | Danel Ahman, Neil Ghani, Gordon D. Plotkin |
| 2016 | Qualitative Analysis of VASS-Induced MDPs. | Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2015 | A Completeness Result for Finite λ-bisimulations. | Joost Winter |
| 2015 | Robust Multidimensional Mean-Payoff Games are Undecidable. | Yaron Velner |
| 2015 | A Categorical Semantics for Linear Logical Frameworks. | Matthijs Vkr |
| 2015 | On the Mints Hierarchy in First-Order Intuitionistic Logic. | Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski |
| 2015 | Typing Weak MSOL Properties. | Sylvain Salvati, Igor Walukiewicz |
| 2015 | Polarized Substructural Session Types. | Frank Pfenning, Dennis Griffith |
| 2015 | Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. | Konstantinos Mamouras |
| 2015 | The Computational Contents of Ramified Corecurrence. | Daniel Leivant, Ramyaa Ramyaa |
| 2015 | Coalgebraic Trace Semantics via Forgetful Logics. | Bartek Klin, Jurriaan Rot |
| 2015 | Minimisation of Multiplicity Tree Automata. | Stefan Kiefer, Ines Marusic, James Worrell |
| 2015 | States of Convex Sets. | Bart Jacobs, Bas Westerbaan, Bram Westerbaan |
| 2015 | Operational Nominal Game Semantics. | Guilhem Jaber |
| 2015 | The Cyclic-Routing UAV Problem is PSPACE-Complete. | Hsi-Ming Ho, Jol Ouaknine |
| 2015 | On Presburger Arithmetic Extended with Modulo Counting Quantifiers. | Peter Habermehl, Dietrich Kuske |
| 2015 | An Infinitary Model of Linear Logic. | Charles Grellois, Paul-Andr Mellis |
| 2015 | Knowledge = Observation + Memory + Computation. | Blaise Genest, Doron A. Peled, Sven Schewe |
| 2015 | Compositional Metric Reasoning with Probabilistic Process Calculi. | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
| 2015 | Parity Games of Bounded Tree- and Clique-Width. | Moses Ganardi |