Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Implementation and Application of Automata

16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers

Editors:

  1. Béatrice Bouchou-Markhoff

    1. Université Francois Rabelais Tours, Blois, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pascal Caron

    1. LITIS, Université de Rouen, Saint-Étienne du Rouvray Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean-Marc Champarnaud

    1. LITIS, Université de Rouen, Saint-Étienne du Rouvray Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Denis Maurel

    1. LI (Computer Laboratory), EPU-DI, Tours, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast conference proceedings
  • State-of-the-art report

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

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 2011.

Sections

Buy it now

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 (27 papers)

  1. Technical Contributions

    1. Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines

      • Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
      Pages 215-224

    2. Towards More Expressive 2D Deterministic Automata

      • Violetta Lonati, Matteo Pradella
      Pages 225-237

    4. Distributed Event Clock Automata

      • James Ortiz, Axel Legay, Pierre-Yves Schobbens
      Pages 250-263

  2. Short Papers

    1. Fly-Automata, Their Properties and Applications

      • Bruno Courcelle, Irène A. Durand
      Pages 264-272

    2. Tree Template Matching in Ranked Ordered Trees by Pushdown Automata

      • Tomáš Flouri, Jan Janoušek, Bořivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis
      Pages 273-281

    3. Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach

      • Vesna Pajić, Gordana Pavlović Lažetić, Miloš Pajić
      Pages 282-289

    4. Experimental Study of the Shortest Reset Word of Random Automata

      • Evgeny Skvortsov, Evgeny Tipikin
      Pages 290-298

  3. Back Matter

    PDF
Back to top

Other Volumes

  1. Implementation and Application of Automata

Back to top

About this book

This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Université Francois Rabelais Tours, Blois, France

    Béatrice Bouchou-Markhoff

  • LITIS, Université de Rouen, Saint-Étienne du Rouvray Cedex, France

    Pascal Caron, Jean-Marc Champarnaud

  • LI (Computer Laboratory), EPU-DI, Tours, France

    Denis Maurel

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation