| 2015 | Metric Reasoning about λ-Terms: The Affine Case. | Raphalle Crubill, Ugo Dal Lago |
| 2015 | Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives. | Lorenzo Clemente, Jean-Franois Raskin |
| 2015 | Timed Pushdown Automata Revisited. | Lorenzo Clemente, Slawomir Lasota |
| 2015 | Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Krishnendu Chatterjee, Zuzana Komrkov, Jan Kretnsk |
| 2015 | Nested Weighted Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2015 | Improved Algorithms for One-Pair and k-Pair Streett Objectives. | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer |
| 2015 | The Parallel Intensionally Fully Abstract Games Model of PCF. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2015 | From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP. | Catarina Carvalho, Florent R. Madelaine, Barnaby Martin |
| 2015 | PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. | Facundo Carreiro |
| 2015 | How Good Is a Strategy in a Game with Nature? | Arnaud Carayol, Olivier Serre |
| 2015 | Defining Winning Strategies in Fixed-Point Logic. | Felix Canavoi, Erich Grdel, Simon Leenich, Wied Pakusa |
| 2015 | Petri Automata for Kleene Allegories. | Paul Brunet, Damien Pous |
| 2015 | Long-Run Average Behaviour of Probabilistic Vector Addition Systems. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn |
| 2015 | On the Complexity of Temporal Equilibrium Logic. | Laura Bozzelli, David Pearce |
| 2015 | The Target Discounted-Sum Problem. | Udi Boker, Thomas A. Henzinger, Jan Otop |
| 2015 | Star Height via Games. | Mikolaj Bojanczyk |
| 2015 | Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete. | Michael Blondin, Alain Finkel, Stefan Gller, Christoph Haase, Pierre McKenzie |
| 2015 | Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. | Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii |
| 2015 | The Complexity of Boundedness for Guarded Logics. | Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom |
| 2015 | Interpolation with Decidable Fixpoint Logics. | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
| 2015 | Hyper Natural Deduction. | Arnold Beckmann, Norbert Preining |
| 2015 | A Canonical Form for Weighted Automata and Applications to Approximate Minimization. | Borja Balle, Prakash Panangaden, Doina Precup |
| 2015 | A Note on the Complexity of Classical and Intuitionistic Proofs. | Matthias Baaz, Alexander Leitsch, Giselle Reis |
| 2015 | Entailment among Probabilistic Implications. | Albert Atserias, Jos L. Balczar |
| 2015 | Finite Open-World Query Answering with Number Restrictions. | Antoine Amarilli, Michael Benedikt |