| 2007 | A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane. Olivier Bodini, Thomas Fernique, Eric Rémila |
| 2007 | A series of slowly synchronizable automata with a zero state over a small alphabet. Pavel V. Martugin |
| 2007 | An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms. Suna Bensch |
| 2007 | Application of suffix trees for the acquisition of common motifs with gaps in a set of strings. Pavlos Antoniou, Maxime Crochemore, Costas S. Iliopoulos, Pierre Peterlongo |
| 2007 | Automata Networks without any Letichevsky Criteria. Pál Dömösi |
| 2007 | Categorial Module Grammars of Bounded Size have Finite Bounded Density. Camilo Thorne |
| 2007 | Classical Simulation Complexity of Quantum Branching Programs. Farid M. Ablayev, Aida Gainutdinova |
| 2007 | Classifying omega-regular partitions. Victor L. Selivanov |
| 2007 | Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach. Jürgen Dassow, Henning Fernau |
| 2007 | Compositions of Extended Top-down Tree Transducers. Andreas Maletti |
| 2007 | Computational Complexity of Dynamical Systems: the case of Cellular Automata. Pietro di Lena, Luciano Margara |
| 2007 | Computational Complexity of NFA Minimization for Finite and Unary Languages. Hermann Gruber, Markus Holzer |
| 2007 | Descriptional Complexity of Grammars Regulated by Context Conditions. Tomás Masopust, Alexander Meduna |
| 2007 | Descriptive Complexity of the Hamming Neighborhood of a Regular Language. Grigoriy Povarov |
| 2007 | Deterministically and Sudoku-Deterministically Recognizable Picture Languages. Bernd Borchert, Klaus Reinhardt |
| 2007 | Equations: From Words to Graph Products. Volker Diekert |
| 2007 | Fast Reversible Language Recognition Using Cellular Automata. Martin Kutrib, Andreas Malcher |
| 2007 | Fine and Wilf's Periodicity Result on Partial Words and Consequences. Francine Blanchet-Sadri, Kevin Corcoran, Jenell Nyberg |
| 2007 | First-order deduction in neural networks. Ekaterina Komendantskaya |
| 2007 | Free Word-Order and Restarting Automata. Frantisek Mráz, Friedrich Otto, Martin Plátek |
| 2007 | Generalizations of One-Deterministic Regular Languages. Yo-Sub Han, Derick Wood |
| 2007 | Geometrical Languages. Baptiste Blanpain, Jean-Marc Champarnaud, Jean-Philippe Dubernard |
| 2007 | LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications. Remco Loos, Szilárd Zsolt Fazekas, Carlos Martín-Vide |
| 2007 | Locally Stratified Boolean Grammars. Christos Nomikos, Panos Rondogiannis |
| 2007 | Model Checking Buechi Specifications. Deian Tabakov, Moshe Y. Vardi |
| 2007 | Muller Message-Passing Automata and Logics. Benedikt Bollig, Dietrich Kuske |
| 2007 | Networks of Evolutionary Processors with Two Nodes Are Unpredictable. Artiom Alhazov, Carlos Martín-Vide, Yurii Rogozhin |
| 2007 | Nondeterministic soliton automata with a single external vertex. Miklós Krész |
| 2007 | Occurrence and Lexicographic Properties of Standard Sturmian Words. Pawel Baturo, Wojciech Rytter |
| 2007 | On Determinism Versus Non-Determinism for Restarting Automata. Hartmut Messerschmidt, Friedrich Otto |
| 2007 | On Star-Free Trace Languages and their Lexicographic Representations. Krystyna Stawikowska, Edward Ochmanski |
| 2007 | On leftmost derivations in CD grammar systems. Henning Bordihn, György Vaszil |
| 2007 | On the Regularity of Binoid Languages: A Comparative Approach. Zoltán L. Németh |
| 2007 | On the syllabification of words via go-through automata. Liviu Petrisor Dinu, Radu Gramatovici, Florin Manea |
| 2007 | Practical block sequence alignment with moves. Julien Bourdaillet, Jean-Gabriel Ganascia |
| 2007 | Pushdown automata with cancellation and commutation-augmented pregroups grammars. Nissim Francez, Michael Kaminski |
| 2007 | Reductions of matrices associated with nowhere-zero flows. Martin Kochol, Nad'a Krivonáková, Silvia Smejová, Katarína Sranková |
| 2007 | Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus. Juntae Yoon, Gil-Young Song, Seonho Kim |
| 2007 | SI! Automata Can Show PSPACE Results for Description Logics. Franz Baader, Jan Hladik, Rafael Peñaloza |
| 2007 | Slender Siromoney Matrix Languages. Ralf Stiebe |
| 2007 | State Complexity of Basic Operations Combined with Reversal. Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu |
| 2007 | Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation. Kazuya Ogasawara, Satoshi Kobayashi |
| 2007 | Succinct Description of Regular Languages by Weak Restarting Automata. Martin Kutrib, Jens Reimann |
| 2007 | Synchronization. Helmut Jürgensen |
| 2007 | The Number of Convex Permutominoes. Paolo Boldi, Violetta Lonati, Roberto Radicioni, Massimo Santini |
| 2007 | The submonoid and rational subset membership problems for graph groups. Markus Lohrey, Benjamin Steinberg |
| 2007 | Topology-based Geometric Modelling for Biological Cellular Processes. Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure |
| 2007 | Unambiguous Boolean grammars. Alexander Okhotin |
| 2007 | Universality for Nondeterministic Logspace. Vinay Choudhary, Anand Kumar Sinha, Somenath Biswas |
| 2007 | Verification of Succinct Hierarchical State Machines. Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2007 | Weighted Degenerated Approximate Pattern Matching. Costas S. Iliopoulos, Inuka Jayasekera, Borivoj Melichar, Jan Supol |