| 2026 | Implementation and Application of Automata - 29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, Proceedings Giuseppa Castiglione, Sabrina Mantaci |
| 2025 | A First Taste of MeSCaL, a Tool for Solving Membership Problems for Regular Languages. Thomas Place, Marc Zeitoun |
| 2025 | A Hierarchy of Reversible Finite Automata. Maria Radionova, Alexander Okhotin |
| 2025 | A New Approach for Showing Termination of Parameterized Transition Systems. Roland Herrmann, Philipp Rümmer |
| 2025 | An Active Learning Algorithm for Bidirectional Deterministic Finite Automata. Simon Dieck, Sicco Verwer |
| 2025 | An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers. Zhibo Deng, Tianxiang Tang, Vladimir A. Zakharov |
| 2025 | An Earley-Based Universal Error-Correcting Parser. Maurice Herwig, Norbert Hundeshagen, Martin Lange |
| 2025 | Complementable Normal Form of Parametrized Automata. Franziska Alber, Philipp Rümmer |
| 2025 | Constructing Compact BPE Token DFAs. Martin Berglund, Anna Jonsson, Willeke Martens, Brink van der Merwe |
| 2025 | Dynamically Weighted Tree Transducers. Frank Drewes, Marco Kuhlmann, Olle Torstensson |
| 2025 | Engineering an LTL Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2025 | Epsilon Automata on Linear Orderings. Bernard Boigelot, Thomas Braipson, Tom Clara |
| 2025 | From Regular Expressions to Deterministic Finite Automata: $2^{\frac{n}{2}+\sqrt{n}(\log n)^{\varTheta (1)}}$ States Are Necessary and Sufficient. Olga Martynova, Alexander Okhotin |
| 2025 | In Orbit with MeSCaL: Higher in Concatenation and Navigational Hierarchies of Regular Languages. Thomas Place, Marc Zeitoun |
| 2025 | More on Language Families with a Decidable Pumping-Problem (Extended Abstract). Markus Holzer, Christian Rauch |
| 2025 | Multi-entry DFA with Reduced Initial States to Speedup Parallel Recognition. Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
| 2025 | Self-verifying Predicates in Büchi Arithmetic. Mazen Khodier, Luke Schaeffer, Jeffrey O. Shallit |
| 2025 | Shape Preserving Tree Transducers. Paul Gallot, Sebastian Maneth |
| 2025 | Simulating Two-Way Nondeterministic Finite Automata Over Small Alphabets by One-Way Nondeterministic Automata. Viliam Geffert, Alexander Okhotin |
| 2025 | State-Freezing Pushdown Automata. Martin Kutrib, Andreas Malcher, Priscilla Raucci |
| 2025 | Subsequence Matching and Analysis Problems for Automata with Translucent Letters. Szilárd Zsolt Fazekas, Béla Klein, Tore Koß, Florin Manea, Robert Mercas, Timo Specht |
| 2025 | Toward the Glushkovization of Automata: The Strong Stabilization. Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart |
| 2025 | Two-Way Automata and Bounded Languages. Alessandro Clerici Lorenzini, Giovanni Pighizzini, Luca Prigioniero |