Skip to main content
  • Conference proceedings
  • © 2011

Implementation and Application of Automata

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

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

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

  1. Front Matter

  2. Invited Lectures

    1. Streamable Fragments of Forward XPath

      • Olivier Gauwin, Joachim Niehren
      Pages 3-15
    2. 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. Nondeterministic Moore Automata and Brzozowski’s Algorithm

      • Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 88-99
    4. Building Phylogeny with Minimal Absent Words

      • Supaporn Chairungsee, Maxime Crochemore
      Pages 100-109
    5. On the Hardness of Priority Synthesis

      • Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll
      Pages 110-117
    6. Smaller Representation of Finite State Automata

      • Jan Daciuk, Dawid Weiss
      Pages 118-129
    7. Compositional Failure Detection in Structured Transition Systems

      • Ingo Felscher, Wolfgang Thomas
      Pages 130-141
    8. Chrobak Normal Form Revisited, with Applications

      • Paweł Gawrychowski
      Pages 142-153
    9. Loops and Overloops for Tree Walking Automata

      • Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 166-177
    10. Nondeterministic State Complexity of Star-Free Languages

      • Markus Holzer, Martin Kutrib, Katja Meckel
      Pages 178-189
    11. Computing All ℓ-Cover Automata Fast

      • Artur Jeż, Andreas Maletti
      Pages 203-214

Other Volumes

  1. Implementation and Application of Automata

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.

Keywords

  • XML schema
  • cellular automata
  • computational complexity
  • hash functions
  • regular expression compilation
  • algorithm analysis and problem complexity
  • data structures

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

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