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
Conference proceedings CIAA 2011

DOI: 10.1007/978-3-642-22256-6

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

Introduction

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

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

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22255-9
  • Online ISBN 978-3-642-22256-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349