Skip to main content
  • Conference proceedings
  • © 2009

Implementation and Application of Automata

14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

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

Conference proceedings info: CIAA 2009.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Technical Contributions

    1. On Extremal Cases of Hopcroft’s Algorithm

      • Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 14-23
    2. Compact Normal Form for Regular Languages as Xor Automata

      • Jean Vuillemin, Nicolas Gama
      Pages 24-33
    3. Cellular Automata with Sparse Communication

      • Martin Kutrib, Andreas Malcher
      Pages 34-43
    4. On Parallel Implementations of Deterministic Finite Automata

      • Jan Holub, Stanislav Å tekr
      Pages 54-64
    5. FAdo and GUItar: Tools for Automata Manipulation and Visualization

      • André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis
      Pages 65-74
    6. A Testing Framework for Finite-State Morphology

      • François Barthélemy
      Pages 75-83
    7. A Table Compression Method for Extended Aho-Corasick Automaton

      • Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan
      Pages 84-93
    8. Compact Representation for Answer Sets of n-ary Regular Queries

      • Kazuhiro Inaba, Haruo Hosoya
      Pages 94-104
    9. Random Generation of Deterministic Tree (Walking) Automata

      • Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
      Pages 115-124
    10. Hedge Pattern Partial Derivative

      • Taro Suzuki, Satoshi Okui
      Pages 125-134
    11. TAGED Approximations for Temporal Properties Model-Checking

      • Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
      Pages 135-144
    12. Verifying Parallel Programs with Dynamic Communication Structures

      • Mohamed Faouzi Atig, Tayssir Touili
      Pages 145-154
    13. Fixpoint Guided Abstraction Refinement for Alternating Automata

      • Pierre Ganty, Nicolas Maquet, Jean-François Raskin
      Pages 155-164

Other Volumes

  1. Implementation and Application of Automata

About this book

This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia,  in July 2009.

The 23 revised full papers togehter with 6 short papers were carefully selected from 42 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.

Keywords

  • Processing
  • algorithms
  • automata theory
  • cellular automata
  • cognition
  • communication
  • complexity
  • graph theory
  • model checking
  • parsing
  • program analysis
  • regular expressions
  • software engineering
  • string processing
  • algorithm analysis and problem complexity

Editors and Affiliations

  • NICTA and University of New South Wales, Sydney, Australia

    Sebastian Maneth

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions