| 2008 | Not So Many Runs in Strings. | Mathieu Giraud |
| 2008 | 2-Synchronizing Words. | Pawel Gawrychowski, Andrzej Kisielewicz |
| 2008 | Formal Language Tools for Template-Guided DNA Recombination. | Michael Domaratzki |
| 2008 | k-Petri Net Controlled Grammars. | Jrgen Dassow, Sherzod Turaev |
| 2008 | Consensual Definition of Languages by Regular Sets. | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
| 2008 | Efficient Inclusion Checking for Deterministic Tree Automata and DTDs. | Jrme Champavre, Rmi Gilleron, Aurlien Lemay, Joachim Niehren |
| 2008 | Hopcroft's Algorithm and Cyclic Automata. | Giusi Castiglione, Antonio Restivo, Marinella Sciortino |
| 2008 | Induced Subshifts and Cellular Automata. | Silvio Capobianco |
| 2008 | Automatic Presentations for Cancellative Semigroups. | Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas |
| 2008 | Extending the Overlap Graph for Gene Assembly in Ciliates. | Robert Brijder, Hendrik Jan Hoogeboom |
| 2008 | Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems. | Henning Bordihn, Markus Holzer |
| 2008 | Tree-Walking Automata. | Mikolaj Bojanczyk |
| 2008 | Deterministic Input-Reversal and Input-Revolving Finite Automata. | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2008 | Transformations and Preservation of Self-assembly Dynamics through Homotheties. | Florent Becker |
| 2008 | Optional and Iterated Types for Pregroup Grammars. | Denis Bchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel |
| 2008 | The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions. | Dorothea Baumeister, Jrg Rothe |
| 2008 | One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner |
| 2008 | Finite Automata, Palindromes, Powers, and Patterns. | Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey O. Shallit |
| 2008 | On Bifix Systems and Generalizations. | Jan-Henrik Altenbernd |
| 2008 | About Universal Hybrid Networks of Evolutionary Processors of Small Size. | Artiom Alhazov, Erzsbet Csuhaj-Varj, Carlos Martn-Vide, Yurii Rogozhin |
| 2007 | Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus. | Juntae Yoon, Gil-Young Song, Seonho Kim |
| 2007 | Verification of Succinct Hierarchical State Machines. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2007 | Categorial Module Grammars of Bounded Size have Finite Bounded Density. | Camilo Thorne |
| 2007 | Model Checking Buechi Specifications. | Deian Tabakov, Moshe Y. Vardi |
| 2007 | Slender Siromoney Matrix Languages. | Ralf Stiebe |