Advertisement

Implementation and Application of Automata

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

  • Stavros Konstantinidis
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
    15. Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt
      Pages 232-243
    16. František Mráz, Friedrich Otto
      Pages 256-267
    17. Daniel Průša, František Mráz, Friedrich Otto
      Pages 268-279
    18. Stefano Crespi Reghizzi, Pierluigi San Pietro
      Pages 280-291
    19. Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui
      Pages 292-305
    20. Tomohiro I, Takaaki Nishimoto, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
      Pages 319-330
  4. Short Papers

    1. Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
      Pages 331-339
    2. Andrzej Kisielewicz, Marek Szykuła
      Pages 340-348
    3. Eva Maia, Nelma Moreira, Rogério Reis
      Pages 349-356
  5. Back Matter

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-39274-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39273-3
  • Online ISBN 978-3-642-39274-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering