Skip to main content
SpringerLink
Log in
Book cover

Implementation and Application of Automata

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

  • Conference proceedings
  • © 2011

Overview

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)

Included in the following conference series:

Conference proceedings info: CIAA 2011.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Lectures

    1. Derick Wood: Always in Our Hearts

      • Sheng Yu
      Pages 1-2

    2. Streamable Fragments of Forward XPath

      • Olivier Gauwin, Joachim Niehren
      Pages 3-15

    3. Gaining Power by Input Operations: Finite Automata and Beyond

      • Markus Holzer, Martin Kutrib
      Pages 16-29

  3. Technical Contributions

    1. Weak Inclusion for XML Types

      • Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari, Pierre Réty
      Pages 30-41

    2. Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages

      • Denis Béchet, Alexandre Dikovsky, Annie Foret
      Pages 42-52

    3. Bouma2 – A High-Performance Input-Aware Multiple String-Match Algorithm

      • Erez Buchnik
      Pages 53-64

    4. Random Generation of Deterministic Acyclic Automata Using Markov Chains

      • Vincent Carnino, Sven De Felice
      Pages 65-75

    5. Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability

      • José M. Castaño, Rodrigo Castaño
      Pages 76-87

    6. Nondeterministic Moore Automata and Brzozowski’s Algorithm

      • Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 88-99

    7. Building Phylogeny with Minimal Absent Words

      • Supaporn Chairungsee, Maxime Crochemore
      Pages 100-109

    8. On the Hardness of Priority Synthesis

      • Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll
      Pages 110-117

    9. Smaller Representation of Finite State Automata

      • Jan Daciuk, Dawid Weiss
      Pages 118-129

    10. Compositional Failure Detection in Structured Transition Systems

      • Ingo Felscher, Wolfgang Thomas
      Pages 130-141

    11. Chrobak Normal Form Revisited, with Applications

      • Paweł Gawrychowski
      Pages 142-153

    12. A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule

      • Yo-Sub Han, Sang-Ki Ko
      Pages 154-165

    13. Loops and Overloops for Tree Walking Automata

      • Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 166-177

    14. Nondeterministic State Complexity of Star-Free Languages

      • Markus Holzer, Martin Kutrib, Katja Meckel
      Pages 178-189

    15. On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs

      • Oscar H. Ibarra
      Pages 190-202

    16. Computing All ℓ-Cover Automata Fast

      • Artur Jeż, Andreas Maletti
      Pages 203-214
Back to top

Other volumes

  1. Implementation and Application of Automata

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation