Implementation and Application of Automata

15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

  • Michael Domaratzki
  • Kai Salomaa
Conference proceedings CIAA 2010

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

Table of contents

  1. Front Matter
  2. Cyril Allauzen, Corinna Cortes, Mehryar Mohri
    Pages 17-27
  3. Cyril Allauzen, Michael Riley, Johan Schalkwyk
    Pages 28-38
  4. Marco Almeida, Nelma Moreira, Rogério Reis
    Pages 39-48
  5. José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa
    Pages 59-68
  6. Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
    Pages 69-78
  7. Krzysztof Chmiel, Adam Roman
    Pages 79-86
  8. Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta
    Pages 87-94
  9. Bo Cui, Yuan Gao, Lila Kari, Sheng Yu
    Pages 95-104
  10. Attila Egri-Nagy, Chrystopher L. Nehaniv
    Pages 115-124
  11. Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey Shallit
    Pages 125-134
  12. Wit Foryś, Piotr Oprocha, Slawomir Bakalarski
    Pages 135-142
  13. Michael Gerbush, Brent Heeringa
    Pages 154-162
  14. Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler
    Pages 163-172
  15. Manfred Kufleitner, Alexander Lauser
    Pages 181-190
  16. Martin Kutrib, Andreas Malcher
    Pages 191-200
  17. Andreas Maletti
    Pages 201-210
  18. Manfred Droste, Ingmar Meinecke
    Pages 211-221
  19. Daniel Neider
    Pages 222-230
  20. Daniel Reidenbach, Markus L. Schmid
    Pages 241-250
  21. Giusi Castiglione, Cyril Nicaud, Marinella Sciortino
    Pages 251-260
  22. Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
    Pages 261-271
  23. Cristina Tîrnăucă, Cătălin Ionuţ Tîrnăucă
    Pages 272-281
  24. Yanbing Liu, Li Guo, Ping Liu, Jianlong Tan
    Pages 282-289
  25. Fang Yu, Tevfik Bultan, Oscar H. Ibarra
    Pages 290-299
  26. Jan Žd’árek, Bořivoj Melichar
    Pages 300-309
  27. Zoltán Ésik, Andreas Maletti
    Pages 321-330
  28. Back Matter

About these proceedings


This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.

The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.


algebra automata kernels complexity finite automata finite-state machines formal languages games graph theory nanostructures regular expressions self-assembly tiling tree automata

Editors and affiliations

  • Michael Domaratzki
    • 1
  • Kai Salomaa
    • 2
  1. 1.Department of Computer ScienceUniversity of ManitobaWinnipegCanada
  2. 2.School of ComputingQueen’s UniversityKingstonCanada

Bibliographic information

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