Algorithms - ESA 2015

23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

  • Nikhil Bansal
  • Irene Finocchi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9294)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Marek Adamczyk, Fabrizio Grandoni, Joydeep Mukherjee
    Pages 1-12
  3. Peyman Afshani, Nodari Sitchinava
    Pages 13-24
  4. Spyros Angelopoulos, Giorgio Lucarelli, Kim Thang Nguyen
    Pages 35-46
  5. Yossi Azar, Oren Gilon
    Pages 47-58
  6. Davaatseren Baatar, Mohan Krishnamoorthy, Andreas T. Ernst
    Pages 59-70
  7. Alon Baram, Efi Fogel, Dan Halperin, Michael Hemmer, Sebastian Morr
    Pages 71-82
  8. Gill Barequet, Günter Rote, Mira Shalah
    Pages 83-94
  9. MohammadHossein Bateni, Sina Dehghani, MohammadTaghi Hajiaghayi, Saeed Seddighin
    Pages 95-105
  10. Niklas Baumstark, Guy Blelloch, Julian Shun
    Pages 106-117
  11. Abbas Bazzi, Ashkan Norouzi-Fard
    Pages 118-129
  12. Michael A. Bekos, Till Bruckdorfer, Michael Kaufmann, Chrysanthi Raftopoulou
    Pages 130-141
  13. Djamal Belazzougui, Patrick Hagge Cording, Simon J. Puglisi, Yasuo Tabei
    Pages 142-154
  14. Elisabetta Bergamini, Henning Meyerhenke
    Pages 155-166
  15. Davide Bilò, Fabrizio Grandoni, Luciano Gualà, Stefano Leucci, Guido Proietti
    Pages 167-178
  16. Hans L. Bodlaender, Jesper Nederlof
    Pages 179-190
  17. Adam Bohn, Yuri Faenza, Samuel Fiorini, Vissarion Fisikopoulos, Marco Macchia, Kanstantsin Pashkovich
    Pages 191-202
  18. Nicolas Bonichon, Prosenjit Bose, Jean-Lou De Carufel, Ljubomir Perković, André van Renssen
    Pages 203-214
  19. Michele Borassi, David Coudert, Pierluigi Crescenzi, Andrea Marino
    Pages 215-226

About these proceedings

Introduction

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.


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

Editors and affiliations

  • Nikhil Bansal
    • 1
  • Irene Finocchi
    • 2
  1. 1.University of TechnologyEindhovenThe Netherlands
  2. 2.Sapienza University of RomeRomeItaly

Bibliographic information

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