| 2003 | On Three Classes of Automata-Like P Systems. | Rudolf Freund, Carlos Martn-Vide, Adam Obtulowicz, Gheorghe Paun |
| 2003 | Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models. | Diego de Falco, Massimiliano Goldwurm, Violetta Lonati |
| 2003 | An Automata-Theoretic Approach to Software Verification. | Javier Esparza |
| 2003 | Learning a Regular Tree Language from a Teacher. | Frank Drewes, Johanna Hgberg |
| 2003 | Branching Grammars: A Generalization of ET0L Systems. | Frank Drewes, Joost Engelfriet |
| 2003 | On Enumeration of Mller Automata. | Michael Domaratzki |
| 2003 | On Well Quasi-orders on Languages. | Flavio D'Alessandro, Stefano Varricchio |
| 2003 | Distributed Pushdown Automata Systems: Computational Power. | Erzsbet Csuhaj-Varj, Victor Mitrana, Gyrgy Vaszil |
| 2003 | NFA Reduction Algorithms by Means of Regular Inequalities. | Jean-Marc Champarnaud, Fabien Coulon |
| 2003 | From Glushkov WFAs to Rational Expressions. | Pascal Caron, Marianne Flouret |
| 2003 | Residual Finite Tree Automata. | Julien Carme, Rmi Gilleron, Aurlien Lemay, Alain Terlutte, Marc Tommasi |
| 2003 | Generating Series of the Trace Group. | Anne Bouillard, Jean Mairesse |
| 2003 | The Myhill-Nerode Theorem for Recognizable Tree Series. | Bjrn Borchardt |
| 2003 | Regular Languages Generated by Reflexive Finite Splicing Systems. | Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza |
| 2003 | Quantum Computing: 1-Way Quantum Automata. | Alberto Bertoni, Carlo Mereghetti, Beatrice Palano |
| 2003 | Covering Problems from a Formal Language Point of View. | Marcella Anselmo, Maria Madonia |
| 2003 | Synchronizing Monotonic Automata. | Dimitry S. Ananichev, Mikhail V. Volkov |
| 2002 | Abstract Families of Graphs. | Tanguy Urvoy |
| 2002 | An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton. | Hiroshi Umeo, Naoki Kamikawa |
| 2002 | Finite Automata Models of Quantized Systems: Conceptual Status and Outlook. | Karl Svozil |
| 2002 | Undecidability of Weak Bisimilarity for PA-Processes. | Jir Srba |
| 2002 | Efficient Transformations from Regular Expressions to Finite Automata. | Sebastian Seibert |
| 2002 | A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines. | Yuji Sasaki, Katsushi Inoue, Akira Ito, Yue Wang |
| 2002 | Characteristic Semigroups of Directable Automata. | Tatjana Petkovic, Miroslav Ciric, Stojan Bogdanovic |
| 2002 | Automaton Representation of Linear Conjunctive Languages. | Alexander Okhotin |