Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9294)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.
The 86 revised full papers presented together with two invited lectures were carefully reviewed and selected from 320 initial submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Engineering and Applications. The papers present real-world applications, engineering, and experimental analysis of algorithms.
Similar content being viewed by others
Keywords
- automata theory
- co-algebras
- concurrency
- domain-specific modeling
- logic
- algebra
- category theory
- computability
- formal analysis
- formal languages
- formal methods in computer science
- formal verification
- hybrid systems
- regular expressions
- runtime verification
- security properties
- semantic models
- software architectures
- type theory
- verification
Table of contents (86 papers)
Editors and Affiliations
Bibliographic Information
Book Title: Algorithms - ESA 2015
Book Subtitle: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Editors: Nikhil Bansal, Irene Finocchi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-48350-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-48349-7Published: 14 September 2015
eBook ISBN: 978-3-662-48350-3Published: 01 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 1053
Number of Illustrations: 142 illustrations in colour
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Discrete Mathematics in Computer Science, Software Engineering, Mathematical Logic and Formal Languages