© 2014

Implementation and Application of Automata

19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

  • Markus Holzer
  • Martin Kutrib
Conference proceedings CIAA 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8587)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Javier Esparza, Michael Luttenberger, Maximilian Schlund
      Pages 1-15
    2. Georgios Ch. Sirakoulis
      Pages 58-69
  3. Regular Papers

    1. Ivone Amorim, António Machiavelo, Rogério Reis
      Pages 70-83
    2. Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano
      Pages 84-97
    3. Franziska Biegler, Ian McQuillan
      Pages 98-109
    4. Francine Blanchet-Sadri, Kira Goldner, Aidan Shackleton
      Pages 110-123
    5. Janusz Brzozowski, Marek Szykuła
      Pages 124-135
    6. Kristína Čevorová, Galina Jirásková, Ivana Krajňáková
      Pages 136-147
    7. Marzio De Biasi, Abuzer Yakaryılmaz
      Pages 148-161
    8. Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
      Pages 162-175
    9. Marius Dumitran, Javier Gil, Florin Manea, Victor Mitrana
      Pages 176-187
    10. Vladimir V. Gusev, Elena V. Pribavkina
      Pages 200-210
    11. Galina Jirásková, Matúš Palmovský, Juraj Šebej
      Pages 226-237
    12. Petr Kůrka, Tomáš Vávra
      Pages 252-263

About these proceedings


This book constitutes the refereed proceedings of the 19th
International Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014.
The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 submissions. The papers cover all aspects of implementation, application, and theory of automata and related structures such as algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers,
computer-aided verification, concurrency, data structure design for
automata, data and image compression, design and architecture of
automata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide Web.


cellular automata context-free language data structure design exact real algorithms model checking modeling and simulation natural language processing quantum automata regular languages transducers

Editors and affiliations

  • Markus Holzer
    • 1
  • Martin Kutrib
    • 1
  1. 1.Institut für InformatikUniversität GiessenGiessenGermany

Bibliographic information