Skip to main content
  • Conference proceedings
  • © 2003

Implementation and Application of Automata

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

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

Conference series link(s): CIAA: International Conference on Implementation and Application of Automata

Conference proceedings info: CIAA 2003.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (33 papers)

  1. Front Matter

    Pages I-XI
  2. Invited Lectures

    1. Automata for Specifying Component Interfaces

      • Thomas A. Henzinger
      Pages 1-2
    2. Automata on Words

      • Juhani Karhumäki
      Pages 3-11
  3. Regular Papers

    1. Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications

      • Nico Wallmeier, Patrick Hütten, Wolfgang Thomas
      Pages 11-22
    2. Timing Parameter Characterization of Real-Time Systems

      • Farn Wang, Hsu-Chun Yen
      Pages 23-34
    3. From Regular Weighted Expressions to Finite Automata

      • Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi
      Pages 49-60
    4. An Efficient Pre-determinization Algorithm

      • Cyril Allauzen, Mehryar Mohri
      Pages 83-95
    5. Introducing Vaucanson

      • Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch
      Pages 96-107
    6. WFSC — A New Weighted Finite State Compiler

      • André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart
      Pages 108-119
    7. Ternary Directed Acyclic Word Graphs

      • Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara
      Pages 120-130
    8. Running Time Complexity of Printing an Acyclic Automaton

      • Franck Guingne, André Kempe, Florent Nicart
      Pages 131-140
    9. TCTL Inevitability Analysis of Dense-Time Systems

      • Farn Wang, Geng-Dian Hwang, Fang Yu
      Pages 176-186
    10. Boolean Operations for Attribute-Element Constraints

      • Haruo Hosoya, Makoto Murata
      Pages 201-212

Other Volumes

  1. Implementation and Application of Automata

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of California, Santa Barbara, USA

    Oscar H. Ibarra

  • School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA

    Zhe Dang

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access