Advertisement

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
    11. Akihiko Tozawa, Masami Hagiya
      Pages 213-225
    12. Mark Daley, Mark Eramian, Ian McQuillan
      Pages 239-250
    13. Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, Adam Yao
      Pages 251-257
    14. Manuel Vilares, Victor M. Darriba, Jesús Vilares, Leandro Rodríguez
      Pages 258-268
    15. José M. Castaño
      Pages 269-281
    16. Klaus Sutner
      Pages 282-293
  4. Poster Paper

    1. Bořivoj Melichar, Tomáš Polcar
      Pages 294-296
    2. Nathan Preston, Mukkai S. Krishnamoorthy
      Pages 297-298
    3. E. Ketcha Ngassam, Bruce. W. Watson, Derrick. G. Kourie
      Pages 299-300
    4. Robert Kelly, Julie Carson-Berndsen
      Pages 301-303
    5. Michiel Frishert, Loek G. Cleophas, Bruce W. Watson
      Pages 304-306
    6. Olgierd Unold, Maciej Troć, Tadeusz Dobosz, Alicja Trusewicz
      Pages 309-310
  5. Back Matter
    Pages 311-312

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-45089-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40561-0
  • Online ISBN 978-3-540-45089-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering