| 2010 | Linking Algebraic Observational Equivalence and Bisimulation. | Mouhebeddine Berrima, Narjes Ben Rajeb |
| 2010 | On a Conjecture by Carpi and D'Alessandro. | Mikhail V. Berlinkov |
| 2010 | Algorithmic Properties of Millstream Systems. | Suna Bensch, Henrik Bjrklund, Frank Drewes |
| 2009 | Erasing in Petri Net Languages and Matrix Grammars. | Georg Zetzsche |
| 2009 | On the Decidability of the Equivalence for a Certain Class of Transducers. | Rodrigo de Souza |
| 2009 | Two-Sided Bounds for the Growth Rates of Power-Free Languages. | Arseny M. Shur |
| 2009 | On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations. | Aleksi Saarela |
| 2009 | Balanced Words Having Simple Burrows-Wheeler Transform. | Antonio Restivo, Giovanna Rosone |
| 2009 | Weighted Timed MSO Logics. | Karin Quaas |
| 2009 | Simulations by Time-Bounded Counter Machines. | Holger Petersen |
| 2009 | Branching-Time Temporal Logics with Minimal Model Quantifiers. | Fabio Mogavero, Aniello Murano |
| 2009 | A Weighted -Calculus on Words. | Ingmar Meinecke |
| 2009 | Some Remarks on Superposition Based on Watson-Crick-Like Complementarity. | Florin Manea, Victor Mitrana, Jos M. Sempere |
| 2009 | On Equations over Sets of Numbers and Their Limitations. | Tommi Lehtinen, Alexander Okhotin |
| 2009 | Word Equations with One Unknown. | Markku Laine, Wojciech Plandowski |
| 2009 | Definability in the Infix Order on Words. | Oleg V. Kudinov, Victor L. Selivanov |
| 2009 | A Game-Theoretic Characterization of Boolean Grammars. | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis |
| 2009 | The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable. | Daniel Kirsten |
| 2009 | Size Complexity of Two-Way Finite Automata. | Christos A. Kapoutsis |
| 2009 | The Pumping Lemma for Well-Nested Multiple Context-Free Languages. | Makoto Kanazawa |
| 2009 | Magic Numbers and Ternary Alphabet. | Galina Jirskov |
| 2009 | Subshifts, Languages and Logic. | Emmanuel Jeandel, Guillaume Theyssier |
| 2009 | Post Correspondence Problem and Small Dimensional Matrices. | Tero Harju |
| 2009 | Tight Bounds on the Descriptional Complexity of Regular Expressions. | Hermann Gruber, Markus Holzer |
| 2009 | Crucial Words for Abelian Powers. | Amy Glen, Bjarni V. Halldrsson, Sergey Kitaev |