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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-02979-0
  • 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
  • About this book