| 2013 | On the Complexity of Shortest Path Problems on Discounted Cost Graphs. | Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan |
| 2012 | Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars. | Ryo Yoshinaka |
| 2012 | One-Way Reversible and Quantum Finite Automata with Advice. | Tomoyuki Yamakami |
| 2012 | Automaton Ranks of Some Self-similar Groups. | Adam Woryna |
| 2012 | On Model Checking for Visibly Pushdown Automata. | Nguyen Van Tang, Hitoshi Ohsaki |
| 2012 | On Stable and Unstable Limit Sets of Finite Families of Cellular Automata. | Ville Salo, Ilkka Trm |
| 2012 | k-Automatic Sets of Rational Numbers. | Eric Rowland, Jeffrey O. Shallit |
| 2012 | P-NP Threshold for Synchronizing Road Coloring. | Adam Roman |
| 2012 | Patterns with Bounded Treewidth. | Daniel Reidenbach, Markus L. Schmid |
| 2012 | Ogden's Lemma for ET0L Languages. | Max Rabkin |
| 2012 | Canonizable Partial Order Generators. | Mateus de Oliveira Oliveira |
| 2012 | Dynamics of Circuits and Intersecting Circuits. | Mathilde Noual |
| 2012 | Automaton-Based Array Initialization Analysis. | Durica Nikolic, Fausto Spoto |
| 2012 | Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic. | Alexei Miasnikov, Zoran Sunic |
| 2012 | On the Parameterized Complexity of Default Logic and Autoepistemic Logic. | Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
| 2012 | The Computer Science of DNA Nanotechnology. | Jack H. Lutz |
| 2012 | Computing by Observing Insertion. | Alexander Krassovitskiy, Peter Leupold |
| 2012 | Nash Equilibria in Concurrent Priced Games. | Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
| 2012 | Feasible Automata for Two-Variable Logic with Successor on Data Words. | Ahmet Kara, Thomas Schwentick, Tony Tan |
| 2012 | Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. | Oscar H. Ibarra, Nicholas Q. Trn |
| 2012 | Characterizing the Rational Functions by Restarting Transducers. | Norbert Hundeshagen, Friedrich Otto |
| 2012 | The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. | Dag Hovland |
| 2012 | Applying Tree Languages in Proof Theory. | Stefan Hetzl |
| 2012 | Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems. | Daniela Genova |
| 2012 | Polynomial-Time Algorithms for Learning Typed Pattern Languages. | Michael Geilke, Sandra Zilles |