Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

Implementation and Application of Automata

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

  • Conference proceedings
  • © 2009

Accessibility Information

Overview

Editors:
  1. Sebastian Maneth

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

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

Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

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.

Similar content being viewed by others

Keywords

Table of contents (32 papers)

  3. Technical Contributions

    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

    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

    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

Other volumes

  1. Implementation and Application of Automata

Editors and Affiliations

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

    Sebastian Maneth

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Publish with us

Back to top

Access this book

Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

[8]ページ先頭
©2009-2025 Movatter.jp