Accepted Papers
(35 papers, sorted by first author, title linked to abstract)
- Marie-Pierre Beal and Dominique Perrin
A quadratic upper bound on the size of a synchronizing word in one-cluster automata
- Christoph Behle, Andreas Krebs and Stephanie Reifferscheid
Regular Languages definable by Majority Quantifiers with two Variables
- Alberto Bertoni, Christian Choffrut and Roberto Radicioni
The Inclusion Problem of Context-free Languages: Some Tractable Cases.
- Brandon Blakeley, Francine Blanchet-Sadri, Josh Gunter and Narad Rampersad
On the Complexity of Deciding Avoidability of sets of Partial Words
- Janusz Brzozowski, Elyot Grant and Jeffrey Shallit
Closures in Formal Languages and Kuratowski's Theorem
- Michelangelo Bucci, Aldo de Luca and Alessandro De Luca
Rich and Periodic-like Words
- Simone Campanoni and Stefano Crespi Reghizzi
Traces of control-flow graphs
- Olivier Carton
Left and right synchronous relations
- Elena Czeizler, Eugen Czeizler, Lila Kari and Shinnosuke Seki
An Extension of the Lyndon Schutzenberger Result to Pseudoperiodic Words
- Bruno Durand and Victor Poupet
Asymptotic Cellular Complexity
- Omer Egecioglu
Strongly Regular Grammars and Regular Approximation of Context-Free Languages
- Szilard Zsolt Fazekas
Powers of regular languages
- Dominik D. Freydenberger and Daniel Reidenbach
Existence and Nonexistence of Descriptive Patterns
- Pierluigi Frisco and Oscar Ibarra
On Stateless Multihead Finite Automata and Multihead Pushdown Automata
- Christiane Frougny and Anna Chiara Lai
On negative bases
- Amy Glen, Bjarni V. Halldórsson and Sergey Kitaev
Crucial words for abelian powers
- Hermann Gruber and Markus Holzer
Tight Bounds on the Descriptional Complexity of Regular Expressions
- Emmanuel Jeandel and Guillaume Theyssier
Subshifts, Languages and Logic
- Galina Jiraskova
Magic Numbers and Ternary Alphabet
- Makoto Kanazawa
The Pumping Lemma for Well-Nested Multiple Context-Free Languages
- Daniel Kirsten
The Support of a Recognizable Series Over a Zero-sum Free, Commutative Semiring is Recognizable
- Vassilis Kountouriotis, Christos Nomikos and Panos Rondogiannis
A Game-Theoretic Characterization of Boolean Grammars
- Markku Laine and Wojciech Plandowski
Word Equations with One Unknown
- Tommi Lehtinen and Alexander Okhotin
On equations over sets of numbers and their limitations
- Florin Manea, Victor Mitrana and Jose Sempere
Some Remarks on Superposition Based on Watson-Crick-like Complementarity
- Ingmar Meinecke
A weighted μ-calculus on words
- Fabio Mogavero and Aniello Murano
Branching-Time Temporal Logics with Minimal Model Quantifiers
- Holger Petersen
Simulations by Time-Bounded Counter Machines
- Karin Quaas
Weighted Timed MSO Logics
- Antonio Restivo and Giovanna Rosone
Balanced words having simple Burrows-Wheeler Transform
- Aleksi Saarela
On Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations
- Oleg Kudinov and Victor Selivanov
Definability in the Infix Order on Words
- Arseny Shur
Two-sided bounds for the growth rates of power-free languages
- Rodrigo de Souza
On the decidability of the equivalence for a certain class of transducers
- Georg Zetzsche
Erasing in Petri Net Languages and Matrix Grammars