| 2010 | Arbology: Trees and Pushdown Automata. | Borivoj Melichar |
| 2010 | Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata. | Tobias Marschall, Sven Rahmann |
| 2010 | Hard Counting Problems for Partial Words. | Florin Manea, Catalin Tiseanu |
| 2010 | Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. | Zhe Lin |
| 2010 | Primitive Words Are Unavoidable for Context-Free Languages. | Peter Leupold |
| 2010 | The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. | Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian |
| 2010 | Reversible Pushdown Automata. | Martin Kutrib, Andreas Malcher |
| 2010 | Post Correspondence Problem with Partially Commutative Alphabets. | Barbara Klunder, Wojciech Rytter |
| 2010 | String Extension Learning Using Lattices. | Anna Kasprzik, Timo Ktzing |
| 2010 | The Copying Power of Well-Nested Multiple Context-Free Grammars. | Makoto Kanazawa, Sylvain Salvati |
| 2010 | Untestable Properties Expressible with Four First-Order Quantifiers. | Charles Jordan, Thomas Zeugmann |
| 2010 | Learnability of Automatic Classes. | Sanjay Jain, Qinglong Luo, Frank Stephan |
| 2010 | The Inclusion Problem for Regular Expressions. | Dag Hovland |
| 2010 | A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks. | Reinhard Hemmerling, Katarna Smolenov, Winfried Kurth |
| 2010 | Variable Automata over Infinite Alphabets. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2010 | Simplifying Regular Expressions. | Hermann Gruber, Stefan Gulan |
| 2010 | Parametric Metric Interval Temporal Logic. | Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli |
| 2010 | Grammar-Based Compression in a Streaming Model. | Travis Gagie, Pawel Gawrychowski |
| 2010 | Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach. | Christophe Costa Florncio, Henning Fernau |
| 2010 | Short Witnesses and Accepting Lassos in | Rdiger Ehlers |
| 2010 | On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT. | William Cruz-Santos, Guillermo Morales-Luna |
| 2010 | On the Maximal Number of Cubic Runs in a String. | Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
| 2010 | Operator Precedence and the Visibly Pushdown Property. | Stefano Crespi-Reghizzi, Dino Mandrioli |
| 2010 | Three Learnable Models for the Description of Language. | Alexander Clark |
| 2010 | On the Expressive Power of FO[ + ]. | Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |