| 2004 | A BDD-Like Implementation of an Automata Package. Jean-Michel Couvreur |
| 2004 | A General Weighted Grammar Library. Cyril Allauzen, Mehryar Mohri, Brian Roark |
| 2004 | Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory. Attila Egri-Nagy, Chrystopher L. Nehaniv |
| 2004 | An Application of Quantum Finite Automata to Interactive Proof Systems. Harumichi Nishimura, Tomoyuki Yamakami |
| 2004 | An Automata Approach to Match Gapped Sequence Tags Against Protein Database. Yonghua Han, Bin Ma, Kaizhong Zhang |
| 2004 | Approximating Dependency Grammars Through Intersection of Regular Languages. Anssi Yli-Jyrä |
| 2004 | Approximation to the Smallest Regular Expression for a Given Regular Language. Manuel Delgado, José Morais |
| 2004 | Automata-Theoretic Techniques for Analyzing Infinite-State Systems. Oscar H. Ibarra |
| 2004 | Brute Force Determinization of NFAs by Means of State Covers. Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën |
| 2004 | Code Selection by Tree Series Transducers. Björn Borchardt |
| 2004 | Combining Regular Expressions with (Near-)Optimal Brzozowski Automata. Michiel Frishert, Bruce W. Watson |
| 2004 | Computing the Follow Automaton of an Expression. Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi |
| 2004 | Concatenation State Machines and Simple Functions. Wojciech Debski, Wojciech Fraczak |
| 2004 | Does Hausdorff Dimension Measure Texture Complexity?. Mark G. Eramian, Matthew Drotar |
| 2004 | Enumerating Regular Expressions and Their Languages. Jonathan Lee, Jeffrey O. Shallit |
| 2004 | FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views. Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
| 2004 | Finding Finite Automata That Certify Termination of String Rewriting. Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema |
| 2004 | From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P). Denis Lugiez |
| 2004 | Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu |
| 2004 | Implementation of Catalytic P Systems. Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald |
| 2004 | Linear Encoding Scheme for Weighted Finite Automata. Mathieu Giraud, Dominique Lavenier |
| 2004 | Magic Numbers for Symmetric Difference NFAs. Lynette van Zijl |
| 2004 | Minimal Unambiguous eNFA. Sebastian John |
| 2004 | Minimalizations of NFA Using the Universal Automaton. Libor Polák |
| 2004 | Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids. Andreas Maletti |
| 2004 | On the Complexity of Hopcroft's State Minimization Algorithm. Jean Berstel, Olivier Carton |
| 2004 | On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. Vladimir A. Zakharov, Ivan Zakharyaschev |
| 2004 | Parametric Weighted Finite Automata for Figure Drawing. German Tischler |
| 2004 | Regional Finite-State Error Repair. Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil |
| 2004 | Simulating the Process of Gene Assembly in Ciliates. Liliana Cojocaru |
| 2004 | Size Reduction of Multitape Automata. Hellis Tamm, Matti Nykänen, Esko Ukkonen |
| 2004 | Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages. Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2004 | State Complexity and the Monoid of Transformations of a Finite Set. Bryan Krawetz, John Lawrence, Jeffrey O. Shallit |
| 2004 | State Complexity of Concatenation and Complementation of Regular Languages. Jozef Jirásek, Galina Jirásková, Alexander Szabari |
| 2004 | Stochastic Context-Free Graph Grammars for Glycoprotein Modelling. Baozhen Shan |
| 2004 | Substitutions, Trajectories and Noisy Channels. Lila Kari, Stavros Konstantinidis, Petr Sosík |
| 2004 | Testability of Oracle Automata. Gaoyan Xie, Cheng Li, Zhe Dang |
| 2004 | The Generalization of Generalized Automata: Expression Automata. Yo-Sub Han, Derick Wood |
| 2004 | Tight Bounds for NFA to DFCA Transformations for Binary Alphabets. Cezar Câmpeanu, Andrei Paun |
| 2004 | Time and Space Efficient Algorithms for Constrained Sequence Alignment. Zeshan Peng, H. F. Ting |
| 2004 | Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata. Tomás Polcar, Borivoj Melichar |
| 2004 | Viral Gene Compression: Complexity and Verification. Mark Daley, Ian McQuillan |