| 2007 | On Star-Free Trace Languages and their Lexicographic Representations. | Krystyna Stawikowska, Edward Ochmanski |
| 2007 | Classifying omega-regular partitions. | Victor L. Selivanov |
| 2007 | Descriptive Complexity of the Hamming Neighborhood of a Regular Language. | Grigoriy Povarov |
| 2007 | Topology-based Geometric Modelling for Biological Cellular Processes. | Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agns Arnould, Philippe Meseure |
| 2007 | Unambiguous Boolean grammars. | Alexander Okhotin |
| 2007 | Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation. | Kazuya Ogasawara, Satoshi Kobayashi |
| 2007 | Locally Stratified Boolean Grammars. | Christos Nomikos, Panos Rondogiannis |
| 2007 | On the Regularity of Binoid Languages: A Comparative Approach. | Zoltn L. Nmeth |
| 2007 | Free Word-Order and Restarting Automata. | Frantisek Mrz, Friedrich Otto, Martin Pltek |
| 2007 | On Determinism Versus Non-Determinism for Restarting Automata. | Hartmut Messerschmidt, Friedrich Otto |
| 2007 | Descriptional Complexity of Grammars Regulated by Context Conditions. | Toms Masopust, Alexander Meduna |
| 2007 | A series of slowly synchronizable automata with a zero state over a small alphabet. | Pavel V. Martugin |
| 2007 | Compositions of Extended Top-down Tree Transducers. | Andreas Maletti |
| 2007 | The submonoid and rational subset membership problems for graph groups. | Markus Lohrey, Benjamin Steinberg |
| 2007 | State Complexity of Basic Operations Combined with Reversal. | Guangwu Liu, Carlos Martn-Vide, Arto Salomaa, Sheng Yu |
| 2007 | Computational Complexity of Dynamical Systems: the case of Cellular Automata. | Pietro di Lena, Luciano Margara |
| 2007 | Succinct Description of Regular Languages by Weak Restarting Automata. | Martin Kutrib, Jens Reimann |
| 2007 | Fast Reversible Language Recognition Using Cellular Automata. | Martin Kutrib, Andreas Malcher |
| 2007 | Nondeterministic soliton automata with a single external vertex. | Mikls Krsz |
| 2007 | First-order deduction in neural networks. | Ekaterina Komendantskaya |
| 2007 | Reductions of matrices associated with nowhere-zero flows. | Martin Kochol, Nad'a Krivonkov, Silvia Smejov, Katarna Srankov |
| 2007 | Synchronization. | Helmut Jrgensen |
| 2007 | Weighted Degenerated Approximate Pattern Matching. | Costas S. Iliopoulos, Inuka Jayasekera, Borivoj Melichar, Jan Supol |
| 2007 | Generalizations of One-Deterministic Regular Languages. | Yo-Sub Han, Derick Wood |
| 2007 | Computational Complexity of NFA Minimization for Finite and Unary Languages. | Hermann Gruber, Markus Holzer |