| 2014 | Network-Based Dissolution. | Ren van Bevern, Robert Bredereck, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger |
| 2014 | A Logical Characterization of Timed (non-)Regular Languages. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2014 | Forbidden Induced Subgraphs and the Price of Connectivity for Feedback Vertex Set. | Rmy Belmonte, Pim van 't Hof, Marcin Jakub Kaminski, Danil Paulusma |
| 2014 | Sofic-Dyck Shifts. | Marie-Pierre Bal, Michel Blockelet, Catalin Dima |
| 2014 | (√n)-Space and Polynomial-Time Algorithm for Planar Directed Graph Reachability. | Tetsuo Asano, David G. Kirkpatrick, Kotaro Nakagawa, Osamu Watanabe |
| 2014 | A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity and Sensitivity. | Andris Ambainis, Krisjanis Prusis |
| 2014 | Zero Knowledge and Circuit Minimization. | Eric Allender, Bireswar Das |
| 2014 | Low-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs. | Eric Allender, Nikhil Balaji, Samir Datta |
| 2014 | On r-Simple k-Path. | Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty |
| 2013 | On the Quantifier-Free Dynamic Complexity of Reachability. | Thomas Zeume, Thomas Schwentick |
| 2013 | Parameterized Algorithms for Module Motif. | Meirav Zehavi |
| 2013 | Improved Bounds for Reduction to Depth 4 and Depth 3. | Sbastien Tavenas |
| 2013 | Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates. | Yasuhiro Takahashi, Takeshi Yamazaki, Kazuyuki Tanaka |
| 2013 | Approximation Algorithms for Generalized Plant Location. | Alexander Souza |
| 2013 | A Planarity Test via Construction Sequences. | Jens M. Schmidt |
| 2013 | A More Efficient Simulation Algorithm on Kripke Structures. | Francesco Ranzato |
| 2013 | An Unusual Temporal Logic. | Alexander Rabinovich |
| 2013 | Separating Regular Languages by Piecewise Testable and Unambiguous Languages. | Thomas Place, Lorijn van Rooijen, Marc Zeitoun |
| 2013 | Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. | Nir Piterman |
| 2013 | Space-Efficient Parallel Algorithms for Combinatorial Search Problems. | Andrea Pietracaprina, Geppino Pucci, Francesco Silvestri, Fabio Vandin |
| 2013 | Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. | Anca Muscholl, Sven Schewe |
| 2013 | Revisiting Space in Proof Complexity: Treewidth and Pathwidth. | Moritz Mller, Stefan Szeider |
| 2013 | Subexponential Algorithm for d-Cluster Edge Deletion: Exception or Rule? | Neeldhara Misra, Fahad Panolan, Saket Saurabh |
| 2013 | Arithmetic Branching Programs with Memory. | Stefan Mengel |
| 2013 | Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian. | Ranko Lazic, Jol Ouaknine, James Worrell |