| 2013 | Logic and Branching Automata. | Nicolas Bedon |
| 2013 | Parity Games and Propositional Proofs. | Arnold Beckmann, Pavel Pudlk, Neil Thapen |
| 2013 | Rewriting Guarded Negation Queries. | Vince Brny, Michael Benedikt, Balder ten Cate |
| 2013 | Which Finitely Ambiguous Automata Recognize Finitely Sequential Functions? - (Extended Abstract). | Sebastian Bala |
| 2013 | Computing Behavioral Distances, Compositionally. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | How to Pack Your Items When You Have to Buy Your Knapsack. | Antonios Antoniadis, Chien-Chung Huang, Sebastian Ott, Jos Verschae |
| 2013 | Clustering on k-Edge-Colored Graphs. | Eric Angel, Evripidis Bampis, Alexander V. Kononov, Dimitris Paparas, Emmanouil Pountourakis, Vassilis Zissimopoulos |
| 2012 | Computation of Least Fixed Points. | Mihalis Yannakakis |
| 2012 | A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments. | Mingyu Xiao, Jiong Guo |
| 2012 | Transportation under Nasty Side Constraints. | Gerhard J. Woeginger |
| 2012 | Probabilistic Automata and Probabilistic Logic. | Thomas Weidner |
| 2012 | Simple Models for Recursive Schemes. | Igor Walukiewicz |
| 2012 | How to Reconstruct a Genome. | Esko Ukkonen |
| 2012 | On Two Stronger Versions of Dejean's Conjecture. | Igor N. Tunev, Arseny M. Shur |
| 2012 | Computing Lempel-Ziv Factorization Online. | Tatiana Starikovskaya |
| 2012 | A Toolkit for Proving Limitations of the Expressive Power of Logics. | Nicole Schweikardt |
| 2012 | Computational Aspects of Cellular Automata on Countable Sofic Shifts. | Ville Salo, Ilkka Trm |
| 2012 | Scott Is Always Simple. | Antonino Salibra |
| 2012 | A Dichotomy Theorem for Homomorphism Polynomials. | Nicolas de Rugy-Altherre |
| 2012 | Constructing Premaximal Ternary Square-Free Words of Any Level. | Elena A. Petrova, Arseny M. Shur |
| 2012 | A Finite Basis for 'Almost Future' Temporal Logic over the Reals. | Dorit Pardo Ordentlich, Alexander Rabinovich |
| 2012 | Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs. | Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis |
| 2012 | Reducing a Target Interval to a Few Exact Queries. | Jesper Nederlof, Erik Jan van Leeuwen, Ruben van der Zwaan |
| 2012 | Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity? | Filip Murlak, Michal Oginski, Marcin Przybylko |
| 2012 | Asymmetric Swap-Equilibrium: A Unifying Equilibrium Concept for Network Creation Games. | Mats Mihalk, Jan Christoph Schlegel |