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
    14. Z. Ésik, Sz. Iván
      Pages 191-200
    15. Tetsuya Matsumoto, Kazuhito Hagio, Masayuki Takeda
      Pages 201-211
    16. Parosh A. Abdulla, Ahmed Bouajjani, Lukáš Holík, Lisa Kaati, Tomáš Vojnar
      Pages 212-222
    17. Andrew Badr
      Pages 223-231
    18. Giovanni Pighizzini
      Pages 232-241
    19. Benoît Razet
      Pages 242-251
    20. Paweł Baturo, Marcin Piątkowski, Wojciech Rytter
      Pages 252-261
    21. Cyril Allauzen, Mehryar Mohri
      Pages 262-273
    22. Khaled El-Fakih, Nina Yevtushenko
      Pages 274-282
    23. Martin Šimůnek, Bořivoj Melichar
      Pages 286-287
  4. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-70843-8
  • Online ISBN 978-3-540-70844-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site