© 2003

Implementation and Application of Automata

8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

  • Oscar H. Ibarra
  • Zhe Dang
Conference proceedings CIAA 2003

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Lectures

    1. Thomas A. Henzinger
      Pages 1-2
    2. Juhani Karhumäki
      Pages 3-11
  3. Regular Papers

    1. Nico Wallmeier, Patrick Hütten, Wolfgang Thomas
      Pages 11-22
    2. Farn Wang, Hsu-Chun Yen
      Pages 23-34
    3. Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi
      Pages 49-60
    4. Cyril Allauzen, Mehryar Mohri
      Pages 83-95
    5. Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch
      Pages 96-107
    6. André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart
      Pages 108-119
    7. Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara
      Pages 120-130
    8. Franck Guingne, André Kempe, Florent Nicart
      Pages 131-140
    9. Farn Wang, Geng-Dian Hwang, Fang Yu
      Pages 176-186
    10. Haruo Hosoya, Makoto Murata
      Pages 201-212

About these proceedings


Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures.

This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.


Simulation Text algorithms automata bioinformatics complexity finite automata finite-state controllers grammar logic programming regular expressions regular languages term rewriting verification

Editors and affiliations

  • Oscar H. Ibarra
    • 1
  • Zhe Dang
    • 2
  1. 1.Department of Computer ScienceUniversity of CaliforniaSanta BarbaraUSA
  2. 2.School of Electrical Engineering and Computer ScienceWashington State UniversityPullmanUSA

Bibliographic information