| 2017 | A Simple Method for Building Bimachines from Functional Finite-State Transducers. Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz |
| 2017 | Alignment Distance of Regular Tree Languages. Yo-Sub Han, Sang-Ki Ko |
| 2017 | CoInductive Automata Algorithms. Damien Pous |
| 2017 | Complexity of Bifix-Free Regular Languages. Robert Ferens, Marek Szykula |
| 2017 | Complexity of Proper Prefix-Convex Regular Languages. Janusz A. Brzozowski, Corwin Sinnamon |
| 2017 | Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems. Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
| 2017 | Electronic Voting: How Logic Can Help. Véronique Cortier |
| 2017 | Equivalence of Probabilistic \mu -Calculus and p-Automata. Claudia Cauli, Nir Piterman |
| 2017 | From Hadamard Expressions to Weighted Rotating Automata and Back. Louis-Marie Dando, Sylvain Lombardy |
| 2017 | Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings Arnaud Carayol, Cyril Nicaud |
| 2017 | Nondeterministic Complexity of Operations on Free and Convex Languages. Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
| 2017 | On the Complexity of Determinizing Monitors. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson |
| 2017 | On the Conjecture ℒ Paolo Massazza |
| 2017 | On the Number of Active States in Deterministic and Nondeterministic Finite Automata. Henning Bordihn, Markus Holzer |
| 2017 | On the Regularity and Learnability of Ordered DAG Languages. Henrik Björklund, Johanna Björklund, Petter Ericson |
| 2017 | On the Semantics of Atomic Subgroups in Practical Regular Expressions. Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman |
| 2017 | Stamina: Stabilisation Monoids in Automata Theory. Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg |
| 2017 | Synchronization Problems in Automata Without Non-trivial Cycles. Andrew Ryzhikov |
| 2017 | Syntactic Complexity of Bifix-Free Languages. Marek Szykula, John Wittnebel |
| 2017 | Timed and Untimed Energy Games. Kim Guldstrand Larsen |
| 2017 | Transducing Reversibly with Finite State Machines. Martin Kutrib, Andreas Malcher, Matthias Wendlandt |