© 2013

Implementation and Application of Automata

18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

  • Stavros Konstantinidis


  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

Conference proceedings CIAA 2013

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Cezar Câmpeanu
      Pages 1-1
    2. Helmut Jürgensen
      Pages 2-15
    3. Margus Veanes
      Pages 16-23
  3. Regular Papers

    1. Houda Abbad, Éric Laugerotte
      Pages 24-35
    2. Eric Balkanski, F. Blanchet-Sadri, Matthew Kilgore, B. J. Wyatt
      Pages 36-47
    3. Fevzi Belli, Mutlu Beyazıt
      Pages 48-59
    4. Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen
      Pages 60-71
    5. Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot
      Pages 84-96
    6. Dmitry Chistikov, Rupak Majumdar
      Pages 97-108
    7. Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
      Pages 109-121
    8. Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
      Pages 122-133
    9. Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
      Pages 134-145
    10. Md. Mahbubul Hasan, A. S. M. Sohidull Islam, M. Sohel Rahman, Ayon Sen
      Pages 158-168
    11. Patrick Henry, Géraud Sénizergues
      Pages 169-180
    12. Markus Holzer, Sebastian Jakobi
      Pages 181-192
    13. Oscar H. Ibarra, Bala Ravikumar
      Pages 193-207
    14. Jozef Jirásek, Galina Jirásková
      Pages 208-219

About these proceedings


This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.


context-free language deterministic finite automata model checking regular languages uniformization

Editors and affiliations

  • Stavros Konstantinidis
    • 1
  1. 1.Department of Mathematics and Computing ScienceSaint Mary’s UniversityHalifaxCanada

Bibliographic information

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