Skip to main content
  • Conference proceedings
  • © 2012

Implementation and Application of Automata

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

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CIAA: International Conference on Implementation and Application of Automata

Conference proceedings info: CIAA 2012.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (33 papers)

  1. Regular Papers

    1. Implementing Computations in Automaton (Semi)groups

      • Ines Klimann, Jean Mairesse, Matthieu Picantin
      Pages 240-252
    2. Restarting Tiling Automata

      • Daniel Průša, František Mráz
      Pages 289-300
  2. Short Papers

    1. Factor and Subsequence Kernels and Signatures of Rational Languages

      • Ahmed Amarni, Sylvain Lombardy
      Pages 313-320
    2. Multi-Tilde-Bar Derivatives

      • Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
      Pages 321-328
    3. On Positive TAGED with a Bounded Number of Constraints

      • Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 329-336
    4. SDFA: Series DFA for Memory-Efficient Regular Expression Matching

      • Tingwen Liu, Yong Sun, Li Guo, Binxing Fang
      Pages 337-344
    5. The Removal of Weighted ε-Transitions

      • Sylvain Lombardy, Jacques Sakarovitch
      Pages 345-352
    6. Weighted LTL with Discounting

      • Eleni Mandrali
      Pages 353-360
    7. Automata with Modulo Counters and Nondeterministic Counter Bounds

      • Daniel Reidenbach, Markus L. Schmid
      Pages 361-368
  3. Back Matter

Other Volumes

  1. Implementation and Application of Automata

About this book

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.

Editors and Affiliations

  • Departamento de Ciência de Computadores, Universidade do Porto, Faculdade de Ciências, Porto, Portugal

    Nelma Moreira, Rogério Reis

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access