Implementation and Application of Automata

14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

  • Sebastian Maneth

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Technical Contributions

    1. Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 14-23
    2. Jean Vuillemin, Nicolas Gama
      Pages 24-33
    3. Martin Kutrib, Andreas Malcher
      Pages 34-43
    4. Jan Holub, Stanislav Štekr
      Pages 54-64
    5. André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis
      Pages 65-74
    6. François Barthélemy
      Pages 75-83
    7. Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan
      Pages 84-93
    8. Kazuhiro Inaba, Haruo Hosoya
      Pages 94-104
    9. Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
      Pages 115-124
    10. Taro Suzuki, Satoshi Okui
      Pages 125-134
    11. Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
      Pages 135-144
    12. Mohamed Faouzi Atig, Tayssir Touili
      Pages 145-154
    13. Pierre Ganty, Nicolas Maquet, Jean-François Raskin
      Pages 155-164
    14. Radu Iosif, Adam Rogalewicz
      Pages 165-177
    15. Jae-Hee Ahn, Yo-Sub Han
      Pages 178-187
    16. Hermann Gruber, Markus Holzer, Michael Tautschnig
      Pages 188-197
    17. Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
      Pages 198-207
    18. Rūsiņš Freivalds, Kazuo Iwama
      Pages 208-216
    19. Martin Zimmermann
      Pages 217-226
    20. Rūsiņš Freivalds
      Pages 227-236
  4. Short Papers and Poster Abstracts

  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia,  in July 2009.

The 23 revised full papers togehter with 6 short papers were carefully selected from 42 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.


Processing algorithms automata theory cellular automata cognition communication complexity graph theory model checking parsing program analysis regular expressions software engineering string processing

Editors and affiliations

  • Sebastian Maneth
    • 1
  1. 1.NICTA and University of New South WalesSydneyAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02978-3
  • Online ISBN 978-3-642-02979-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software