Accepted Papers (in Random Order)


  • Richard Kralovic. On the Power of Randomization for One-Way Finite Automata

  • Jürgen Dassow, Florin Manea and Bianca Truthe. Generating Networks of Splicing Processors

  • Alberto Bertoni, Maria Paola Bianchi and Flavio D'Alessandro. Regularity of languages defined by formal series with isolated cut point

  • Abuzer Yakaryilmaz. Superiority of one-way and realtime quantum machines and new directions

  • Ingmar Meinecke, Manfred Droste, Branimir Seselja and Andreja Tepavcevic. A Cascade Decomposition of Weighted Finite Transition Systems

  • Benedek Nagy, Friedrich Otto and Marcel Vollweiler. Pushdown Automata with Translucent Pushdown Symbols

  • Ulrich Ultes-Nitsche and Joel Allred. k-Counting Automata

  • Maria Paola Bianchi and Giovanni Pighizzini. Normal Forms for Unary Probabilistic Automata

  • Libor Polak and Ondrej Klima. On biautomata

  • Miklos Bartha and Miklos Kresz. Molecular switching by Turing automata

  • Michaël Cadilhac, Alain Finkel and Pierre Mckenzie. On the Expressiveness of Parikh Automata and Related Models

  • Martin Kutrib and Matthias Wendlandt. String Assembling Systems