| 2003 | Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers Jean-Marc Champarnaud, Denis Maurel |
| 2002 | A Package TESTAS for Checking Some Kinds of Testability. A. N. Trahtman |
| 2002 | A Polynomial Time Algorithm for Left [Right] Local Testability. A. N. Trahtman |
| 2002 | Adaptive Automata - A Revisited Proposal. João José Neto, César Bravo |
| 2002 | Automata-Based Representations for Arithmetic Constraints in Automated Verification. Constantinos Bartzis, Tevfik Bultan |
| 2002 | Common Subsequence Automaton. Zdenek Tronícek |
| 2002 | Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings. Jan Daciuk |
| 2002 | Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers. Jorge Graña, Gloria Andrade, Jesús Vilares |
| 2002 | DAWG versus Suffix Array. Miroslav Balík |
| 2002 | Deterministic Parsing of Cyclic Strings. Borivoj Melichar |
| 2002 | Dynamic Programming - NFA Simulation. Jan Holub |
| 2002 | Edit-Distance of Weighted Automata. Mehryar Mohri |
| 2002 | Efficient Automaton-Based Recognition for Linear Conjunctive Languages. Alexander Okhotin |
| 2002 | Feedback-Free Circuits in the Algebra of Transients. Mihaela Gheorghiu, Janusz A. Brzozowski |
| 2002 | Finite Automata and Non-self-Embedding Grammars. Marcella Anselmo, Dora Giammarresi, Stefano Varricchio |
| 2002 | Finite State Lazy Operations in NLP. Franck Guingne, Florent Nicart |
| 2002 | Implementation of Dictionaries via Automata and Decision Trees. Abolfazl Fatholahzadeh |
| 2002 | On Minimizing Cover Automata for Finite Languages in O(n log n) Time. Heiko Körner |
| 2002 | On Predictive Parsing and Extended Context-Free Grammars. Anne Brüggemann-Klein, Derick Wood |
| 2002 | On the Implementation of Compact DAWG's. Jan Holub, Maxime Crochemore |
| 2002 | Prime Decompositions of Regular Prefix Codes. Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc, Wojciech Rytter |
| 2002 | Reduced Power Automata. Klaus Sutner |
| 2002 | Regex and Extended Regex. Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
| 2002 | Searching for Asymptotic Error Repair. Manuel Vilares Ferro, Victor M. Darriba, Miguel A. Alonso |
| 2002 | Simulation of Gate Circuits in the Algebra of Transients. Janusz A. Brzozowski, Mihaela Gheorghiu |
| 2002 | Star Normal Form, Rational Expressions, and Glushkov WFAs Properties. Pascal Caron, Marianne Flouret |
| 2002 | State Complexity of Basic Operations on Nondeterministic Finite Automata. Markus Holzer, Martin Kutrib |
| 2002 | Syntactic Semiring and Language Equations. Libor Polák |
| 2002 | Tabulation of Bidirectional Push Down Automata. Miguel A. Alonso, Víctor J. Díaz, Manuel Vilares Ferro |
| 2002 | Term Validation of Distributed Hard Real-Time Applications. Gaëlle Largeteau, Dominique Geniet |
| 2002 | The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata. Cezar Câmpeanu, Andrei Paun |
| 2002 | Whale Calf, a Parser Generator for Conjunctive Grammars. Alexander Okhotin |
| 2002 | automata, a Hybrid System for Computational Automata Theory. Klaus Sutner |
| 2002 | p-Subsequentiable Transducers. Cyril Allauzen, Mehryar Mohri |