Implementation and Application of Automata

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

  • Oscar H. Ibarra
  • Hsu-Chun Yen
Conference proceedings CIAA 2006

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
    16. R. Bloem, A. Cimatti, I. Pill, M. Roveri, S. Semprini
      Pages 208-218
    17. Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng
      Pages 219-229
    18. Tim Fernando
      Pages 230-241
    19. Matthieu Constant, Denis Maurel
      Pages 242-252
    20. José Fortes Gálvez, Sylvain Schmitz, Jacques Farré
      Pages 253-264
    21. Manuel Vázquez de Parga, Pedro García, José Ruiz
      Pages 265-274
  4. Poster Abstracts

  5. Back Matter

About these proceedings


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

Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences