| 2013 | Efficient Submatch Extraction for Practical Regular Expressions. | Stuart Haber, William G. Horne, Pratyusa K. Manadhata, Miranda Mowbray, Prasad Rao |
| 2013 | Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences. | Daniel Goc, Kalle Saari, Jeffrey O. Shallit |
| 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 | A Multivariate Analysis of Some DFA Problems. | Henning Fernau, Pinar Heggernes, Yngve Villanger |
| 2013 | Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems. | Kousha Etessami |
| 2013 | Mix-Automatic Sequences. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2013 | The Buffered π-Calculus: A Model for Concurrent Languages. | Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong |
| 2013 | Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. | Giorgio Delzanno, Riccardo Traverso |
| 2013 | Execution Information Rate for Some Classes of Automata. | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2013 | How to Travel between Languages. | Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
| 2013 | Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions. | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot |
| 2013 | Complexity Dichotomy for Counting Problems. | Jin-Yi Cai |
| 2013 | Visibly Pushdown Automata: Universality and Inclusion via Antichains. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | Dynamic Communicating Automata and Branching High-Level MSCs. | Benedikt Bollig, Aiswarya Cyriac, Loc Hlout, Ahmet Kara, Thomas Schwentick |
| 2013 | Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem. | Francine Blanchet-Sadri, Justin Lazarow |
| 2013 | A Graph Polynomial Approach to Primitivity. | Francine Blanchet-Sadri, Michelle Bodnar, Nathan Fox, Joe Hidakatsu |
| 2013 | MAT Learning of Universal Automata. | Johanna Bjrklund, Henning Fernau, Anna Kasprzik |
| 2013 | Maximizing Entropy over Markov Processes. | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski |
| 2013 | Duplication-Loss Genome Alignment: Complexity and Algorithm. | Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk |
| 2013 | Unambiguous Automata Denoting Finitely Sequential Functions. | Sebastian Bala, Artur Koninski |
| 2013 | Limited Non-determinism Hierarchy of Counter Automata. | Sebastian Bala, Dariusz Jackowski |
| 2013 | On the Construction of a Family of Automata That Are Generically Non-minimal. | Parisa Babaali, Christopher Knaplund |
| 2013 | Deciding WQO for Factorial Languages. | Aistis Atminas, Vadim V. Lozin, Mikhail Moshkov |
| 2013 | Termination of Rule-Based Calculi for Uniform Semi-Unification. | Takahito Aoto, Munehiro Iwami |