| 2010 | Time Optimal | Nick Gravin |
| 2010 | Identical Relations in Symmetric Groups and Separating Words with Reversible Automata. | R. A. Gimadeev, Mikhail N. Vyalyi |
| 2010 | Validating the Knuth-Morris-Pratt Failure Function, Fast and Online. | Pawel Gawrychowski, Artur Jez, Lukasz Jez |
| 2010 | Frameworks for Logically Classifying Polynomial-Time Optimisation Problems. | James Gate, Iain A. Stewart |
| 2010 | Zigzags in Turing Machines. | Anah Gajardo, Pierre Guillon |
| 2010 | Kernelization. | Fedor V. Fomin |
| 2010 | Right-Sequential Functions on Infinite Words. | Olivier Carton |
| 2010 | Quotient Complexity of Closed Languages. | Janusz A. Brzozowski, Galina Jirskov, Chenglong Zou |
| 2010 | Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril |
| 2010 | The max quasi-independent set Problem. | Nicolas Bourgeois, Aristotelis Giannakos, Giorgio Lucarelli, Ioannis Milis, Vangelis Th. Paschos, O. Potti |
| 2010 | Realizability of Dynamic MSC Languages. | Benedikt Bollig, Loc Hlout |
| 2010 | A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem. | Daniel Binkele-Raible, Henning Fernau |
| 2010 | Approximating the Minimum Length of Synchronizing Words Is Hard. | Mikhail V. Berlinkov |
| 2010 | Proof-Based Design of Security Protocols. | Nazim Benassa, Dominique Mry |
| 2010 | Sofic and Almost of Finite Type Tree-Shifts. | Nathalie Aubrun, Marie-Pierre Bal |
| 2010 | Algorithms for Energy Management. | Susanne Albers |
| 2009 | Automatic Verification of Heap-Manipulating Programs Using Separation Logic. | Hongseok Yang |
| 2009 | Languages Recognized with Unbounded Error by Quantum Finite Automata. | Abuzer Yakaryilmaz, A. C. Cem Say |
| 2009 | New Plain-Exponential Time Classes for Graph Homomorphism. | Magnus Wahlstrm |
| 2009 | On Models of a Nondeterministic Computation. | Mikhail N. Vyalyi |
| 2009 | Kolmogorov Complexity and Model Selection. | Nikolay K. Vereshchagin |
| 2009 | The Reachability Problem over Infinite Graphs. | Wolfgang Thomas |
| 2009 | On the Complexity of Matroid Isomorphism Problems. | B. V. Raghavendra Rao, Jayalal Sarma |
| 2009 | Aperiodicity Measure for Infinite Sequences. | Yuri Pritykin, Julya Ulyashkina |
| 2009 | An Optimal Bloom Filter Replacement Based on Matrix Solving. | Ely Porat |