Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5642)
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 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (32 papers)
-
Front Matter
-
Technical Contributions
About this book
This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia, in July 2009.
The 23 revised full papers togehter with 6 short papers were carefully selected from 42 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Keywords
- Processing
- algorithms
- automata theory
- cellular automata
- cognition
- communication
- complexity
- graph theory
- model checking
- parsing
- program analysis
- regular expressions
- software engineering
- string processing
- algorithm analysis and problem complexity
Editors and Affiliations
-
NICTA and University of New South Wales, Sydney, Australia
Sebastian Maneth
Bibliographic Information
Book Title: Implementation and Application of Automata
Book Subtitle: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
Editors: Sebastian Maneth
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-02979-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-02978-3Published: 24 June 2009
eBook ISBN: 978-3-642-02979-0Published: 07 July 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 263
Topics: Programming Techniques, Theory of Computation, Algorithms, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, System Performance and Evaluation