© 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. Technical Contributions

    1. Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
      Pages 215-224
    2. Violetta Lonati, Matteo Pradella
      Pages 225-237
    3. James Ortiz, Axel Legay, Pierre-Yves Schobbens
      Pages 250-263
  2. Short Papers

    1. Bruno Courcelle, Irène A. Durand
      Pages 264-272
    2. Tomáš Flouri, Jan Janoušek, Bořivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis
      Pages 273-281
    3. Vesna Pajić, Gordana Pavlović Lažetić, Miloš Pajić
      Pages 282-289
    4. Evgeny Skvortsov, Evgeny Tipikin
      Pages 290-298
  3. Back Matter

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