| 2013 | A Conditional Superpolynomial Lower Bound for Extended Resolution. Olga Tveretina |
| 2013 | A Graph Polynomial Approach to Primitivity. Francine Blanchet-Sadri, Michelle Bodnar, Nathan Fox, Joe Hidakatsu |
| 2013 | A Multivariate Analysis of Some DFA Problems. Henning Fernau, Pinar Heggernes, Yngve Villanger |
| 2013 | A Turing Machine Distance Hierarchy. Stanislav Zák, Jirí Síma |
| 2013 | Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems. Kousha Etessami |
| 2013 | Asynchronous PC Systems of Pushdown Automata. Friedrich Otto |
| 2013 | Boolean Algebras of Regular ω-Languages. Victor L. Selivanov, Anton Konovalov |
| 2013 | Coinductive Proof Techniques for Language Equivalence. Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | Complexity Dichotomy for Counting Problems. Jin-Yi Cai |
| 2013 | Convergence of Newton's Method over Commutative Semirings. Michael Luttenberger, Maximilian Schlund |
| 2013 | Counting Minimal Symmetric Difference NFAs. Brink van der Merwe, Mark Farag, Jaco Geldenhuys |
| 2013 | Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. Giorgio Delzanno, Riccardo Traverso |
| 2013 | Deciding WQO for Factorial Languages. Aistis Atminas, Vadim V. Lozin, Mikhail Moshkov |
| 2013 | Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara |
| 2013 | Discrete Linear Dynamical Systems. Joël Ouaknine |
| 2013 | Duplication-Loss Genome Alignment: Complexity and Algorithm. Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk |
| 2013 | Dynamic Communicating Automata and Branching High-Level MSCs. Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick |
| 2013 | Efficient Submatch Extraction for Practical Regular Expressions. Stuart Haber, William G. Horne, Pratyusa K. Manadhata, Miranda Mowbray, Prasad Rao |
| 2013 | Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars. Katsuhiko Nakamura, Keita Imada |
| 2013 | Execution Information Rate for Some Classes of Automata. Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2013 | From Regular Tree Expression to Position Tree Automaton. Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi |
| 2013 | How to Travel between Languages. Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
| 2013 | Infiniteness and Boundedness in 0L, DT0L, and T0L Systems. Tim Smith |
| 2013 | Interval Logics and ωB-Regular Languages. Angelo Montanari, Pietro Sala |
| 2013 | Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
| 2013 | Limited Non-determinism Hierarchy of Counter Automata. Sebastian Bala, Dariusz Jackowski |
| 2013 | Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing. Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
| 2013 | MAT Learning of Universal Automata. Johanna Björklund, Henning Fernau, Anna Kasprzik |
| 2013 | Maximizing Entropy over Markov Processes. Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski |
| 2013 | Mix-Automatic Sequences. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2013 | Model Checking Metric Temporal Logic over Automata with One Counter. Karin Quaas |
| 2013 | On Bounded Languages and Reversal-Bounded Automata. Oscar H. Ibarra, Bala Ravikumar |
| 2013 | On the Complexity of Shortest Path Problems on Discounted Cost Graphs. Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan |
| 2013 | On the Construction of a Family of Automata That Are Generically Non-minimal. Parisa Babaali, Christopher Knaplund |
| 2013 | On the Number of Unbordered Factors. Daniel Goc, Hamoon Mousavi, Jeffrey O. Shallit |
| 2013 | On the Size Complexity of Deterministic Frequency Automata. Rusins Freivalds, Thomas Zeugmann, Grant R. Pogosyan |
| 2013 | Online Matching of Multiple Regular Patterns with Gaps and Character Classes. Seppo Sippu, Eljas Soisalon-Soininen |
| 2013 | Ostrowski Numeration and the Local Period of Sturmian Words. Luke Schaeffer |
| 2013 | Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences. Daniel Goc, Kalle Saari, Jeffrey O. Shallit |
| 2013 | Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars. Eli Shamir |
| 2013 | Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. Luke Ong |
| 2013 | Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. Milka Hutagalung, Martin Lange, Étienne Lozes |
| 2013 | Rewrite Closure and CF Hedge Automata. Florent Jacquemard, Michaël Rusinowitch |
| 2013 | Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem. Francine Blanchet-Sadri, Justin Lazarow |
| 2013 | Termination of Rule-Based Calculi for Uniform Semi-Unification. Takahito Aoto, Munehiro Iwami |
| 2013 | The Buffered π-Calculus: A Model for Concurrent Languages. Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong |
| 2013 | Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions. Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot |
| 2013 | Unambiguous Automata Denoting Finitely Sequential Functions. Sebastian Bala, Artur Koninski |
| 2013 | Uniformisation of Two-Way Transducers. Rodrigo de Souza |
| 2013 | Visibly Pushdown Automata: Universality and Inclusion via Antichains. Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
| 2013 | XML Schema Management: A Challenge for Automata Theory. Thomas Schwentick |