| 2001 | Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers Sheng Yu, Andrei Paun |
| 2000 | A Basis for Looping Extensions to Discriminating-Reverse Parsing. Jacques Farré, José Fortes Gálvez |
| 2000 | A Package for the Implementation of Block Codes as Finite Automata. Priti Shankar, K. Sasidharan, Vikas Aggarwal, B. Sundar Rajan |
| 2000 | An Automaton Model of User-Controlled Navigation on the Web. Kamal Lodaya, Ramaswamy Ramanujam |
| 2000 | An O(n Andrei Paun, Nicolae Santean, Sheng Yu |
| 2000 | Applications of Finite-State Transducers in Natural Language Processing. Lauri Karttunen |
| 2000 | Automata for Pro-V Topologies. Pierre-Cyrille Héam |
| 2000 | Computing Raster Images from Grid Picture Grammars. Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski |
| 2000 | Cursors. Vincent Le Maout |
| 2000 | Direct Construction of Minimal Acyclic Subsequential Transducers. Stoyan Mihov, Denis Maurel |
| 2000 | Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski. Bruce W. Watson |
| 2000 | Experiments with Automata Compression. Jan Daciuk |
| 2000 | Extended Sequentialization of Transducers. Tamás Gaál |
| 2000 | Factorization of Ambiguous Finite-State Transducers. André Kempe |
| 2000 | Fast Implementations of Automata Computations. Anne Bergeron, Sylvie Hamel |
| 2000 | Generalizing the Discrete Timed Automaton. Oscar H. Ibarra, Jianwen Su |
| 2000 | Generic epsilon -Removal Algorithm for Weighted Automata. Mehryar Mohri |
| 2000 | Glushkov Construction for Multiplicities. Pascal Caron, Marianne Flouret |
| 2000 | Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. Dominik Schmitz, Jens Vöge |
| 2000 | Implicit Structures to Implement NFA's from Regular Expressions. Jean-Marc Champarnaud |
| 2000 | Lessons from INR in the Specification of Transductions. J. Howard Johnson |
| 2000 | MONA Implementation Secrets. Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
| 2000 | New Finite Automaton Constructions Based on Canonical Derivatives. Jean-Marc Champarnaud, Djelloul Ziadi |
| 2000 | Part-of-Speech Tagging with Two Sequential Transducers. André Kempe |
| 2000 | Reachability and Safety in Queue Systems. Oscar H. Ibarra |
| 2000 | Regional Least-Cost Error Repair. Manuel Vilares Ferro, Victor M. Darriba, Francisco J. Ribadas |
| 2000 | Regularly Extended Two-Way Nondeterministic Tree Automata. Anne Brüggemann-Klein, Derick Wood |
| 2000 | Solving Complex Problems Efficiently with Adaptive Automata. João José Neto |
| 2000 | State Complexity and Jacobsthal's Function. Jeffrey O. Shallit |
| 2000 | Synthesizing State-Based Object Systems from LSC Specifications. David Harel, Hillel Kugler |
| 2000 | TREEBAG. Frank Drewes, Renate Klempien-Hinrichs |
| 2000 | The MERLin Environment Applied to *-NFAs. Lynette van Zijl, John-Paul Harper, Frank Olivier |
| 2000 | The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata. Todd Wareham |
| 2000 | Unary Language Concatenation and Its State Complexity. Giovanni Pighizzini |
| 2000 | Visual Exploration of Generation Algorithms for Finite Automata on the Web. Stephan Diehl, Andreas Kerren, Torsten Weller |
| 2000 | Word Random Access Compression. Jiri Dvorský, Václav Snásel |