© 2011

Implementation and Application of Automata

16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

  • Béatrice Bouchou-Markhoff
  • Pascal Caron
  • Jean-Marc Champarnaud
  • Denis Maurel
  • Up to date results

  • Fast conference proceedings

  • State-of-the-art report

Conference proceedings CIAA 2011

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Olivier Gauwin, Joachim Niehren
      Pages 3-15
    2. Markus Holzer, Martin Kutrib
      Pages 16-29
  3. Technical Contributions

    1. Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari, Pierre Réty
      Pages 30-41
    2. Denis Béchet, Alexandre Dikovsky, Annie Foret
      Pages 42-52
    3. Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 88-99
    4. Supaporn Chairungsee, Maxime Crochemore
      Pages 100-109
    5. Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll
      Pages 110-117
    6. Jan Daciuk, Dawid Weiss
      Pages 118-129
    7. Ingo Felscher, Wolfgang Thomas
      Pages 130-141
    8. Paweł Gawrychowski
      Pages 142-153
    9. Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 166-177
    10. Markus Holzer, Martin Kutrib, Katja Meckel
      Pages 178-189
    11. Artur Jeż, Andreas Maletti
      Pages 203-214

About these proceedings


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.


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

Editors and affiliations

  • Béatrice Bouchou-Markhoff
    • 1
  • Pascal Caron
    • 2
  • Jean-Marc Champarnaud
    • 2
  • Denis Maurel
    • 3
  1. 1.Université Francois Rabelais ToursBloisFrance
  2. 2.LITIS, Université de RouenSaint-Étienne du Rouvray CedexFrance
  3. 3.LI (Computer Laboratory), EPU-DIToursFrance

Bibliographic information

Industry Sectors
Materials & Steel
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment