| 2000 | Routes and Trajectories. | Alexandru Mateescu |
| 2000 | Power Semigroups and Polynomial Closure. | Stuart W. Margolis, Benjamin Steinberg |
| 2000 | Words Guaranteeing Minimal Image. | Stuart W. Margolis, Jean-Eric Pin, Mikhail V. Volkov |
| 2000 | Some Properties of Hyperoperations and Hyperclones. | Hajime Machida |
| 2000 | On the Star Height of Rational Languages: A New Presentation for Two Old Results. | Sylvain Lombardy, Jacques Sakarovitch |
| 2000 | A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. | Takeshi Koshiba, Kunihiko Hiraishi |
| 2000 | Error-Detecting Properties of Languages. | Stavros Konstantinidis |
| 2000 | A Combinatorial Property of Languages and Monoids. | Andrei V. Kelarev, Peter G. Trotter |
| 2000 | Presentations of Right Unitary Submonoids of Monoids. | Isamu Inata |
| 2000 | On Commutative Asynchronous Automata. | Balzs Imreh, Masami Ito, Antal Pukler |
| 2000 | Quantum Finite Automata. | Jozef Gruska, Roland Vollmar |
| 2000 | An Improvement of Iteration Lemmata for Context-free Languages. | Pl Dmsi, Manfred Kudlek |
| 2000 | A Parsing Problem for Context-Sensitive Languages. | Pl Dmsi, Masami Ito |
| 2000 | Visualization of Cellular Automata. | Maria Demeny, Gza Horvth, Csaba Nagylaki, Zoltan Nagylaki |
| 2000 | On the Differentiation Function of some Language Generating Devices. | Jrgen Dassow |
| 2000 | Networks of Watson-Crick D0L Systems. | Erzsbet Csuhaj-Varj, Arto Salomaa |
| 2000 | The Theory of Rational Relations on Transfinite Strings. | Christian Choffrut, Serge Grigorieff |
| 2000 | R-Trivial Languages of Words on Countable Ordinals. | Olivier Carton |
| 2000 | Iterative Arrays With Limited Nondeterministic Communication Cell. | Thomas Buchholz, Andreas Klein, Martin Kutrib |
| 2000 | The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability. | Vasco Brattka |
| 2000 | Arithmetical Complexity of Infinite Words. | Sergey V. Avgustinovich, Dmitry Fon-Der-Flaass, Anna E. Frid |
| 2000 | Join Decompositions of Pseudovarieties of the Form DH ECom. | Karl Auinger |
| 2000 | On the Sentence Valuations in a Semiring. | Adrian Atanasiu, Carlos Martn-Vide, Victor Mitrana |
| 2000 | Semidirect Products With the Pseudovariety of All Finite Groups. | Jorge Almeida, Ana Paula Escada |
| 1999 | Computation = self-assembly + conformational change: toward new computing paradigms. | Takashi Yokomori |