| 2014 | Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2013 | A Turing Machine Distance Hierarchy. | Stanislav Zk, Jir Sma |
| 2013 | A Conditional Superpolynomial Lower Bound for Extended Resolution. | Olga Tveretina |
| 2013 | Uniformisation of Two-Way Transducers. | Rodrigo de Souza |
| 2013 | Infiniteness and Boundedness in 0L, DT0L, and T0L Systems. | Tim Smith |
| 2013 | Online Matching of Multiple Regular Patterns with Gaps and Character Classes. | Seppo Sippu, Eljas Soisalon-Soininen |
| 2013 | Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars. | Eli Shamir |
| 2013 | Boolean Algebras of Regular ω-Languages. | Victor L. Selivanov, Anton Konovalov |
| 2013 | XML Schema Management: A Challenge for Automata Theory. | Thomas Schwentick |
| 2013 | Ostrowski Numeration and the Local Period of Sturmian Words. | Luke Schaeffer |
| 2013 | Coinductive Proof Techniques for Language Equivalence. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | Model Checking Metric Temporal Logic over Automata with One Counter. | Karin Quaas |
| 2013 | Discrete Linear Dynamical Systems. | Jol Ouaknine |
| 2013 | Asynchronous PC Systems of Pushdown Automata. | Friedrich Otto |
| 2013 | Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. | Luke Ong |
| 2013 | Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars. | Katsuhiko Nakamura, Keita Imada |
| 2013 | Interval Logics and ωB-Regular Languages. | Angelo Montanari, Pietro Sala |
| 2013 | Counting Minimal Symmetric Difference NFAs. | Brink van der Merwe, Mark Farag, Jaco Geldenhuys |
| 2013 | Convergence of Newton's Method over Commutative Semirings. | Michael Luttenberger, Maximilian Schlund |
| 2013 | From Regular Tree Expression to Position Tree Automaton. | ric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi |
| 2013 | Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing. | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
| 2013 | Rewrite Closure and CF Hedge Automata. | Florent Jacquemard, Michal Rusinowitch |
| 2013 | On Bounded Languages and Reversal-Bounded Automata. | Oscar H. Ibarra, Bala Ravikumar |
| 2013 | Revealing vs. Concealing: More Simulation Games for Bchi Inclusion. | Milka Hutagalung, Martin Lange, tienne Lozes |
| 2013 | Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. | Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara |