Implementation and Application of Automata

11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

  • Oscar H. Ibarra
  • Hsu-Chun Yen

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Technical Contributions

    1. Mathieu Giraud, Philippe Veber, Dominique Lavenier
      Pages 23-33
    2. Henning Bordihn, Markus Holzer, Martin Kutrib
      Pages 34-45
    3. Martin Šimůnek, Bořivoj Melichar
      Pages 58-68
    4. Pavlos Antoniou, Jan Holub, Costas S. Iliopoulos, Bořivoj Melichar, Pierre Peterlongo
      Pages 69-77
    5. Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi
      Pages 78-89
    6. Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter
      Pages 90-101
    7. Jonathan May, Kevin Knight
      Pages 102-113
    8. Manuel Baclet, Claire Pagetti
      Pages 114-125
    9. F. Nicart, J. -M. Champarnaud, T. Csáki, T. Gaál, A. Kempe
      Pages 126-136
    10. Corinna Cortes, Mehryar Mohri, Ashish Rastogi
      Pages 137-149
    11. Andreas Maletti
      Pages 150-161
    12. H. Messerschmidt, F. Mráz, F. Otto, M. Plátek
      Pages 162-172
    13. Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg
      Pages 173-185
    14. Jens Glöckler
      Pages 186-197
    15. Hing Leung
      Pages 198-207

About these proceedings

Keywords

Simulation algorithms automata automata implementations automata theory complexity complexity theory finite automata finite-state systems genome grammar systems model checking natural language processing probabilistic automata regular expressions

Editors and affiliations

  • Oscar H. Ibarra
    • 1
  • Hsu-Chun Yen
    • 2
  1. 1.Department of Computer ScienceUniversity of CaliforniaSanta Barbara
  2. 2.Dept. of Computer ScienceKainan UniversityTaoyuan, TaiwanR.O.C.

Bibliographic information

  • DOI https://doi.org/10.1007/11812128
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37213-4
  • Online ISBN 978-3-540-37214-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book