Implementation and Application of Automata

17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

  • Nelma Moreira
  • Rogério Reis

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Yuan Gao, Kai Salomaa
      Pages 1-4
    2. Janusz Brzozowski
      Pages 5-24
    3. Andrzej Ehrenfeucht, Grzegorz Rozenberg
      Pages 25-27
    4. Paul Gastin, Benjamin Monmege
      Pages 28-51
  3. Regular Papers

    1. Cyril Allauzen, Michael Riley
      Pages 66-77
    2. Joshua Amavi, Jacques Chabin, Pierre Réty
      Pages 78-89
    3. Mikhail V. Berlinkov
      Pages 90-100
    4. Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Šunić
      Pages 101-112
    5. Stefano Crespi Reghizzi, Pierluigi L. San Pietro
      Pages 113-124
    6. Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
      Pages 125-137
    7. Manfred Droste, Bundit Pibaljommee
      Pages 138-148
    8. Fedor Fominykh, Mikhail Volkov
      Pages 159-170
    9. Vladimir V. Gusev
      Pages 171-179
    10. Daniel Goč, Dane Henshall, Jeffrey Shallit
      Pages 180-191
    11. Oscar H. Ibarra, Nicholas Q. Tran
      Pages 192-204
    12. Franz Jahn, Manfred Kufleitner, Alexander Lauser
      Pages 205-216
    13. Artur Jeż, Andreas Maletti
      Pages 217-228

About these proceedings

Introduction

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.

Keywords

cellular automata deterministic finite automaton (DFA) linear algebra model checking regular languages

Editors and affiliations

  • Nelma Moreira
    • 1
  • Rogério Reis
    • 1
  1. 1.Departamento de Ciência de ComputadoresUniversidade do Porto, Faculdade de CiênciasPortoPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-31606-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31605-0
  • Online ISBN 978-3-642-31606-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book