| 2001 | Automata on Series-Parallel Biposets. | Zoltn sik, Zoltn L. Nmeth |
| 2001 | The Equational Theory of Fixed Points with Applications to Generalized Language Theory. | Zoltn sik |
| 2001 | Hierarchies of String Languages Generated by Deterministic Tree Transducers. | Joost Engelfriet, Sebastian Maneth |
| 2001 | Second-Order Logic over Strings: Regular and Non-regular Fragments. | Thomas Eiter, Georg Gottlob, Thomas Schwentick |
| 2001 | Minimal Covers of Formal Languages. | Michael Domaratzki, Jeffrey O. Shallit, Sheng Yu |
| 2001 | A Note on Synchronized Automata and Road Coloring Problem. | Karel Culk II, Juhani Karhumki, Jarkko Kari |
| 2001 | Parallel Communicating Grammar Systems with Incomplete Information Communication. | Erzsbet Csuhaj-Varj, Gyrgy Vaszil |
| 2001 | Elementary Theory of Ordinals with Addition and Left Translation by omega. | Christian Choffrut |
| 2001 | Shuffle Quotient and Decompositions. | Cezar Cmpeanu, Kai Salomaa, Sndor Vgvlgyi |
| 2001 | Automata: From Uncertainty to Quantum. | Cristian Calude, Elena Calude |
| 2001 | The Power of One-Letter Rational Languages. | Thierry Cachat |
| 2001 | On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy. | Martin Beaudry, Markus Holzer, Gundula Niemann, Friedrich Otto |
| 2001 | Collapsing Words vs. Synchronizing Words. | Dimitry S. Ananichev, Mikhail V. Volkov |
| 2000 | A Note on Rademacher Functions and Computability. | Mariko Yasugi, Masako Washihara |
| 2000 | Key Agreement Protocol Securer than DLOG. | Akihiro Yamamura, Kaoru Kurosawa |
| 2000 | On A Class of Hypercodes. | Do Long Van |
| 2000 | Tree Automata in the Theory of Term Rewriting. | Magnus Steinby |
| 2000 | Subdirect Product Structure of Left Clifford Semigroups. | Kar Ping Shum, Malay K. Sen, Y. Q. Guo |
| 2000 | A Proof of Okninski, Putcha's Theorem. | Kunitaka Shoji |
| 2000 | Two Optimal Parallel Algorithms on the Commutation Class of a Word. | Ren Schott, Jean-Claude Spehner |
| 2000 | Acts over Right, Left Regular Bands and Semilattices Types. | Tatsuhiko Saito |
| 2000 | Generalized Directable Automata. | Zarko Popovic, Stojan Bogdanovic, Tatjana Petkovic, Miroslav Ciric |
| 2000 | Cellular Automata with Polynomials over Finite Fields. | Hidenosuke Nishio |
| 2000 | Further Results on Restarting Automata. | Gundula Niemann, Friedrich Otto |
| 2000 | Characterization of Valuation Rings and Valuation Semigroups by Semistar-Operations. | Ryuki Matsuda |