| 2013 | A Completion Algorithm for Lattice Tree Automata. Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat |
| 2013 | A Uniformization Theorem for Nested Word to Word Transductions. Dmitry Chistikov, Rupak Majumdar |
| 2013 | Applications of Symbolic Finite Automata. Margus Veanes |
| 2013 | Approximate Matching between a Context-Free Grammar and a Finite-State Automaton. Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2013 | Automata for Codes. Helmut Jürgensen |
| 2013 | Brzozowski's Minimization Algorithm - More Robust than Expected - (Extended Abstract). Markus Holzer, Sebastian Jakobi |
| 2013 | Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata. Daniel Prusa, Frantisek Mráz, Friedrich Otto |
| 2013 | Compressed Automata for Dictionary Matching. Tomohiro I, Takaaki Nishimoto, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
| 2013 | Computing Weights. Houda Abbad, Éric Laugerotte |
| 2013 | Cover Languages and Implementations. Cezar Câmpeanu |
| 2013 | Deterministic Counter Machines and Parallel Matching Computations. Stefano Crespi-Reghizzi, Pierluigi San Pietro |
| 2013 | Early Nested Word Automata for XPath Query Answering on XML Streams. Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui |
| 2013 | Enhancing Approximations for Regular Reachability Analysis. Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko |
| 2013 | Generating Small Automata and the Černý Conjecture. Andrzej Kisielewicz, Marek Szykula |
| 2013 | Hyper-optimization for Deterministic Tree Automata. Andreas Maletti |
| 2013 | Implementation Concepts in Vaucanson 2. Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch |
| 2013 | Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings Stavros Konstantinidis |
| 2013 | Incomplete Transition Complexity of Basic Operations on Finite Languages. Eva Maia, Nelma Moreira, Rogério Reis |
| 2013 | Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties. Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt |
| 2013 | Invertible Transducers, Iteration and Coordinates. Klaus Sutner |
| 2013 | LALBLC A Program Testing the Equivalence of dpda's. Patrick Henry, Géraud Sénizergues |
| 2013 | Lambda-Confluence Is Undecidable for Clearing Restarting Automata. Frantisek Mráz, Friedrich Otto |
| 2013 | On Palindromic Sequence Automata and Applications. Md. Mahbubul Hasan, A. S. M. Sohidull Islam, M. Sohel Rahman, Ayon Sen |
| 2013 | On the Boundary of Regular Languages. Jozef Jirásek, Galina Jirásková |
| 2013 | On the Length of Homing Sequences for Nondeterministic Finite State Machines. Natalia Kushik, Nina Yevtushenko |
| 2013 | Partial Word DFAs. Eric Balkanski, Francine Blanchet-Sadri, Matthew Kilgore, Benjamin J. Wyatt |
| 2013 | Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages. Oscar H. Ibarra, Bala Ravikumar |
| 2013 | Towards Nominal Context-Free Model-Checking. Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti |
| 2013 | Trimming Visibly Pushdown Automata. Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2013 | Two-Pass Greedy Regular Expression Parsing. Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen |
| 2013 | Universal Witnesses for State Complexity of Basic Operations Combined with Reversal. Janusz A. Brzozowski, David Liu |
| 2013 | Using Regular Grammars for Event-Based Testing. Fevzi Belli, Mutlu Beyazit |