Implementation and Application of Automata

23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

  • Cezar Câmpeanu
Conference proceedings CIAA 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young
    Pages 4-27
  3. Martin Kutrib, Andreas Malcher, Matthias Wendlandt
    Pages 28-40
  4. Sylvain Lombardy, Jacques Sakarovitch
    Pages 41-45
  5. Cyril Allauzen, Michael D. Riley
    Pages 46-58
  6. Samira Attou, Ludovic Mignot, Djelloul Ziadi
    Pages 59-70
  7. Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin
    Pages 71-83
  8. Mikhail V. Berlinkov, Cyril Nicaud
    Pages 84-96
  9. Johanna Björklund, Frank Drewes, Anna Jonsson
    Pages 97-108
  10. Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykuła
    Pages 109-120
  11. Marco Cognetta, Yo-Sub Han
    Pages 121-132
  12. Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
    Pages 159-172
  13. Stefan Gerdjikov
    Pages 173-185
  14. Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero
    Pages 186-197
  15. Oscar H. Ibarra, Ian McQuillan
    Pages 211-222
  16. Jozef Jirásek, Galina Jirásková
    Pages 223-235
  17. Martin Kutrib, Matthias Wendlandt
    Pages 236-247
  18. Sylvain Lombardy, Jacques Sakarovitch
    Pages 248-260
  19. Yusei Masuda, Shinnosuke Seki, Yuki Ubukata
    Pages 261-273
  20. Birzhan Moldagaliyev, Ludwig Staiger, Frank Stephan
    Pages 274-285
  21. Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
    Pages 286-298
  22. Shubh N. Singh, K. V. Krishna
    Pages 312-323
  23. Back Matter
    Pages 339-339

About these proceedings


This book constitutes the proceedings of the 23rd International Conference on  Implementation and Application of Automata, CIAA 2018, held in  Charlottetown, PE, Canada, in July/August 2018.
The 23 regular papers  presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. 
The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.


Automata Formal languages Regular expressions Grammars Pushdown automata Regular languages Natural languages Implementation of automata Complexity of automata operations Pattern matching

Editors and affiliations

  1. 1.University of Prince Edward IslandCharlottetownCanada

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-94811-9
  • Online ISBN 978-3-319-94812-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site