© 2015

Implementation and Application of Automata

20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

  • Frank Drewes
Conference proceedings CIAA 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9223)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Papers

  3. Regular Papers

    1. Front Matter
      Pages 19-19
    2. Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns
      Pages 21-34
    3. Angelo Borsotti, Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti
      Pages 35-48
    4. Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira
      Pages 49-62
    5. Pascal Caron, Ludovic Mignot, Clément Miklarz
      Pages 63-75
    6. Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III
      Pages 76-88
    7. Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid
      Pages 89-101
    8. Hermann Gruber, Markus Holzer, Sebastian Jakobi
      Pages 114-126
    9. Vladimir V. Gusev, Marek Szykuła
      Pages 127-139
    10. Stefan Hoffmann, Ludwig Staiger
      Pages 165-175
    11. Martin Kutrib, Matthias Wendlandt
      Pages 199-210

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015.
The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.


Automaton Computational complexity Concurrent system Context-free grammar Descriptional complexity Finite-state machine Formal language Grammar Implementation Parsing Probabilistic computation Quantum automaton Quantum computation Recognition power Regular expression Security Semantic bugs Syntax tree Undecidability Weighted automaton

Editors and affiliations

  • Frank Drewes
    • 1
  1. 1.Umeå UniversityUmeåSweden

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment