| 2011 | Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers Michael Domaratzki, Kai Salomaa |
| 2010 | A Challenging Family of Automata for Classical Minimization Algorithms. Giusi Castiglione, Cyril Nicaud, Marinella Sciortino |
| 2010 | A Note on a Tree-Based 2D Indexing. Jan Zdárek, Borivoj Melichar |
| 2010 | A Polynomial Time Match Test for Large Classes of Extended Regular Expressions. Daniel Reidenbach, Markus L. Schmid |
| 2010 | A Summary of Some Discrete-Event System Control Problems. Karen Rudie |
| 2010 | Approximating Minimum Reset Sequences. Michael Gerbush, Brent Heeringa |
| 2010 | Better Hyper-minimization - Not as Fast, But Fewer Errors. Andreas Maletti |
| 2010 | COMPAS - A Computing Package for Synchronization. Krzysztof Chmiel, Adam Roman |
| 2010 | Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract). Volker Diekert, Steffen Kopecki |
| 2010 | Compressing Regular Expressions' DFA Table by Matrix Decomposition. Yanbing Liu, Li Guo, Ping Liu, Jianlong Tan |
| 2010 | Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions. Satoshi Okui, Taro Suzuki |
| 2010 | Filters for Efficient Composition of Weighted Finite-State Transducers. Cyril Allauzen, Michael Riley, Johan Schalkwyk |
| 2010 | Finite Automata for Generalized Approach to Backward Pattern Matching. Jan Antos, Borivoj Melichar |
| 2010 | From Sequential Extended Regular Expressions to NFA with Symbolic Labels. Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2010 | Incremental DFA Minimisation. Marco Almeida, Nelma Moreira, Rogério Reis |
| 2010 | Large-Scale Training of SVMs with Automata Kernels. Cyril Allauzen, Corinna Cortes, Mehryar Mohri |
| 2010 | On Lazy Representations and Sturmian Graphs. Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey O. Shallit |
| 2010 | On Straight Words and Minimal Permutators in Finite Transformation Semigroups. Attila Egri-Nagy, Chrystopher L. Nehaniv |
| 2010 | Partial Derivative Automata Formalized in Coq. José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa |
| 2010 | Partially Ordered Two-Way Büchi Automata. Manfred Kufleitner, Alexander Lauser |
| 2010 | Reachability Games on Automatic Graphs. Daniel Neider |
| 2010 | Regular Expressions at Their Best: A Case for Rational Design. Vincent Le Maout |
| 2010 | Regular Expressions on Average and in the Long Run. Manfred Droste, Ingmar Meinecke |
| 2010 | Regular Geometrical Languages and Tiling the Plane. Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
| 2010 | Relational String Verification Using Multi-track Automata. Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
| 2010 | Simulations of Weighted Tree Automata. Zoltán Ésik, Andreas Maletti |
| 2010 | State Complexity of Catenation Combined with Union and Intersection. Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
| 2010 | State of Büchi Complementation. Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay |
| 2010 | Symbolic Dynamics, Flower Automata and Infinite Traces. Wit Forys, Piotr Oprocha, Slawomir Bakalarski |
| 2010 | The Cayley-Hamilton Theorem for Noncommutative Semirings. Radu Grosu |
| 2010 | Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata. Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler |
| 2010 | Two-Party Watson-Crick Computations. Martin Kutrib, Andreas Malcher |
| 2010 | Types of Trusted Information That Make DFA Identification with Correction Queries Feasible. Cristina Tîrnauca, Catalin Ionut Tîrnauca |
| 2010 | Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization. J. Howard Johnson |
| 2010 | Using Automata to Describe Self-Assembled Nanostructures. Natasa Jonoska |