© 2008

Implementation and Applications of Automata

13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

  • Editors
  • Oscar H. Ibarra
  • Bala Ravikumar
Conference proceedings CIAA 2008

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Technical Contributions

    1. Marco Almeida, Nelma Moreira, Rogério Reis
      Pages 46-56
    2. Ahmed Bouajjani, Peter Habermehl, Lukáš Holík, Tayssir Touili, Tomáš Vojnar
      Pages 57-67
    3. Andrei Păun, Mihaela Păun, Alfonso Rodríguez-Patón
      Pages 78-91
    4. Pedro García, Manuel Vázquez de Parga, Gloria I. Álvarez, José Ruiz
      Pages 92-101
    5. Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
      Pages 102-111
    6. François Cantin, Axel Legay, Pierre Wolper
      Pages 112-121
    7. Takuya Nishiyama, Yasuhiko Minamide
      Pages 122-131
    8. Andreas Maletti
      Pages 132-140
    9. Ryan Dixon, Ömer Eğecioğlu, Timothy Sherwood
      Pages 141-150
    10. Jan Lahoda, Bořivoj Melichar, Jan Žd’árek
      Pages 151-160
    11. Rob van Glabbeek, Bas Ploeger
      Pages 161-170
    12. Harald Hempel, Madlen Kimmritz
      Pages 171-180
    13. Egor Dolzhenko, Nataša Jonoska
      Pages 181-190

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.

The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.


Turing algorithms automata implementations automata theory chip design complexity complexity theory context-free grammar convex hull decidability determinism finite-state systems foundations membrane computing recursion

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment