| 2007 | : A Library to Randomly and Exhaustively Generate Automata. Frédérique Bassino, Julien David, Cyril Nicaud |
| 2007 | A Finite-State Super-Chunker. Olivier Blanc, Matthieu Constant, Patrick Watrin |
| 2007 | A Measure for the Degree of Nondeterminism of Context-Free Languages. Frantisek Mráz, Martin Plátek, Friedrich Otto |
| 2007 | A New Method for Compiling Parallel Replacement Rules. Anssi Yli-Jyrä, Kimmo Koskenniemi |
| 2007 | Accelerating Boyer Moore Searches on Binary Texts. Shmuel Tomi Klein, Miri Ben-Nissan |
| 2007 | An Implementation of Deterministic Tree Automata Minimization. Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada |
| 2007 | Analyzing Ambiguity of Context-Free Grammars. Claus Brabrand, Robert Giegerich, Anders Møller |
| 2007 | Automata Applications in Chip-Design Software. Bruce W. Watson |
| 2007 | Average Value and Variance of Pattern Statistics in Rational Models. Massimiliano Goldwurm, Roberto Radicioni |
| 2007 | Backward and Forward Bisimulation Minimisation of Tree Automata. Johanna Högberg, Andreas Maletti, Jonathan May |
| 2007 | Deterministic Caterpillar Expressions. Kai Salomaa, Sheng Yu, Jinfeng Zan |
| 2007 | Efficient Computation of Throughput Values of Context-Free Languages. Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter |
| 2007 | Efficient Enumeration of Regular Languages. Margareta Ackerman, Jeffrey O. Shallit |
| 2007 | Efficiently Matching with Local Grammars Using Prefix Overlay Transducers. Clemens Marschner |
| 2007 | Factor Automata of Automata and Applications. Mehryar Mohri, Pedro J. Moreno, Eugene Weinstein |
| 2007 | Finite Automata Accepting Star-Connected Languages. Barbara Klunder |
| 2007 | Finite State Automata Representing Two-Dimensional Subshifts. Natasa Jonoska, Joni Burnette Pirnot |
| 2007 | Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers Jan Holub, Jan Zdárek |
| 2007 | Linear-Time Model Checking: Automata Theory in Practice. Moshe Y. Vardi |
| 2007 | Memory Reduction for Strategies in Infinite Games. Michael Holtmann, Christof Löding |
| 2007 | Multi-grain Relations. François Barthélemy |
| 2007 | On String Matching in Chunked Texts. Hannu Peltola, Jorma Tarhio |
| 2007 | On the Suffix Automaton with Mismatches. Maxime Crochemore, Chiara Epifanio, Alessandra Gabriele, Filippo Mignosi |
| 2007 | On-the-Fly Stuttering in the Construction of Deterministic Joachim Klein, Christel Baier |
| 2007 | OpenFst: A General and Efficient Weighted Finite-State Transducer Library. Cyril Allauzen, Michael Riley, Johan Schalkwyk, Wojciech Skut, Mehryar Mohri |
| 2007 | Reducing Acyclic Cover Transducers. Jean-Marc Champarnaud, Franck Guingne, Jacques Farré |
| 2007 | Regulated Nondeterminism in Pushdown Automata. Martin Kutrib, Andreas Malcher, Larissa Werlein |
| 2007 | Significant Subpatterns Matching. Jan Supol |
| 2007 | Spiking Neural P Systems Used as Acceptors and Transducers. Gheorghe Paun |
| 2007 | Subset Seed Automaton. Gregory Kucherov, Laurent Noé, Mikhail A. Roytberg |
| 2007 | Synchronizing Automata Preserving a Chain of Partial Orders. Mikhail V. Volkov |
| 2007 | Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms. Magnus Steinby, Catalin Ionut Tîrnauca |
| 2007 | The Constrained Longest Common Subsequence Problem for Degenerate Strings. Costas S. Iliopoulos, M. Sohel Rahman, Michal Vorácek, Ladislav Vagner |
| 2007 | Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages. Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2007 | Weighted Automata and Weighted Logics with Discounting. Manfred Droste, George Rahonis |