| 2002 | Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers Bruce W. Watson, Derick Wood |
| 2001 | Adaptive Rule-Driven Devices - General Formulation and Case Study. João José Neto |
| 2001 | Bit Parallelism - NFA Simulation. Jan Holub |
| 2001 | Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers. Jacques Farré, José Fortes Gálvez |
| 2001 | Brzozowski's Derivatives Extended to Multiplicities. Jean-Marc Champarnaud, Gérard Duchamp |
| 2001 | Cascade Decompositions are Bit-Vector Algorithms. Anne Bergeron, Sylvie Hamel |
| 2001 | Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries. Jorge Graña, Francisco-Mario Barcala, Miguel A. Alonso |
| 2001 | Counting the Solutions of Presburger Equations without Enumerating Them. Bernard Boigelot, Louis Latour |
| 2001 | Crystal Lattice Automata. Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson |
| 2001 | Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata. Frank Katritzke, Wolfgang Merzenich, Michael Thomas |
| 2001 | Extraction of epsilon-Cyclesfrom Finite-State Transducers. André Kempe |
| 2001 | Finite Automata for Compact Representation of Language Models in NLP. Jan Daciuk, Gertjan van Noord |
| 2001 | Finite-State Transducer Cascade to Extract Proper Names in Texts. Nathalie Friburger, Denis Maurel |
| 2001 | Improving Raster Image Run-Length Encoding Using Data Order. Markus Holzer, Martin Kutrib |
| 2001 | Is this Finite-State Transducer Sequentiable? Tamás Gaál |
| 2001 | Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting. Nadia Nedjah, Luiza de Macedo Mourelle |
| 2001 | On the Size of Deterministic Finite Automata. Borivoj Melichar, Jan Skryja |
| 2001 | On the Software Design of Cellular Automata Simulators for Ecological Modeling. Yuri Velinov |
| 2001 | Past Pushdown Timed Automata. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
| 2001 | Random Number Generation with +-NFAs. Lynette van Zijl |
| 2001 | Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions. Jean-Philippe Dubernard, Dominique Geniet |
| 2001 | Submodule Construction and Supervisory Control: A Generalization. Gregor von Bochmann |
| 2001 | Supernondeterministic Finite Automata. Lynette van Zijl |
| 2001 | Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction. Agata Savary |
| 2001 | Using Finite State Technology in Natural Language Processing of Basque. Iñaki Alegria, Maxux J. Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, Ruben Urizar |