Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Editors: Moreira, Nelma, Reis, Rogério (Eds.)
Free Preview- Up to date results
- Fast track conference proceedings
- State of the art research
Buy this book
- 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.
- Table of contents (33 chapters)
-
-
In Memoriam Sheng Yu
Pages 1-4
-
In Search of Most Complex Regular Languages
Pages 5-24
-
A Formal Framework for Processes Inspired by the Functioning of Living Cells
Pages 25-27
-
Adding Pebbles to Weighted Automata
Pages 28-51
-
Typed Linear Algebra for Weigthed (Probabilistic) Automata
Pages 52-65
-
Table of contents (33 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Implementation and Application of Automata
- Book Subtitle
- 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
- Editors
-
- Nelma Moreira
- Rogério Reis
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7381
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-31606-7
- DOI
- 10.1007/978-3-642-31606-7
- Softcover ISBN
- 978-3-642-31605-0
- Edition Number
- 1
- Number of Pages
- XIII, 369
- Number of Illustrations
- 76 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.