Skip to main content
SpringerLink
Log in
Book cover

Implementation and Application of Automata

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Sebastian Maneth

    1. NICTA and University of New South Wales, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CIAA 2009.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  3. Technical Contributions

    1. An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton

      • Markus Holzer, Andreas Maletti
      Pages 4-13

    2. On Extremal Cases of Hopcroft’s Algorithm

      • Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 14-23

    3. Compact Normal Form for Regular Languages as Xor Automata

      • Jean Vuillemin, Nicolas Gama
      Pages 24-33

    4. Cellular Automata with Sparse Communication

      • Martin Kutrib, Andreas Malcher
      Pages 34-43

    5. A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule

      • Adam Clarridge, Kai Salomaa
      Pages 44-53

    6. On Parallel Implementations of Deterministic Finite Automata

      • Jan Holub, Stanislav Štekr
      Pages 54-64

    7. FAdo and GUItar: Tools for Automata Manipulation and Visualization

      • André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis
      Pages 65-74

    8. A Testing Framework for Finite-State Morphology

      • François Barthélemy
      Pages 75-83

    9. A Table Compression Method for Extended Aho-Corasick Automaton

      • Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan
      Pages 84-93

    10. Compact Representation for Answer Sets of n-ary Regular Queries

      • Kazuhiro Inaba, Haruo Hosoya
      Pages 94-104

    11. Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata

      • Akio Fujiyoshi
      Pages 105-114

    12. Random Generation of Deterministic Tree (Walking) Automata

      • Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
      Pages 115-124

    13. Hedge Pattern Partial Derivative

      • Taro Suzuki, Satoshi Okui
      Pages 125-134

    14. TAGED Approximations for Temporal Properties Model-Checking

      • Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
      Pages 135-144

    15. Verifying Parallel Programs with Dynamic Communication Structures

      • Mohamed Faouzi Atig, Tayssir Touili
      Pages 145-154

    16. Fixpoint Guided Abstraction Refinement for Alternating Automata

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

Other volumes

  1. Implementation and Application of Automata

Keywords

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.

Editors and Affiliations

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

    Sebastian Maneth

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation