Advertisement

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)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, 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
  20. Glencora Borradaile, Amir Nayyeri, Farzad Zafarani
    Pages 227-238
  21. Christina Boucher, Christine Lo, Daniel Lokshantov
    Pages 239-250
  22. Ulrik Brandes, Michael Hamann, Ben Strasser, Dorothea Wagner
    Pages 251-262
  23. Marc Bury, Chris Schwiegelshohn
    Pages 263-274
  24. Jaroslaw Byrka, Thomas Pensyl, Bartosz Rybicki, Joachim Spoerhase, Aravind Srinivasan, Khoa Trinh
    Pages 275-287
  25. Parinya Chalermsook, Mayank Goswami, László Kozma, Kurt Mehlhorn, Thatchaphol Saranurak
    Pages 300-312
  26. Chandra Chekuri, Thapanapong Rukkanchanunt, Chao Xu
    Pages 313-324
  27. Ashish Chiplunkar, Sumedh Tirodkar, Sundar Vishwanathan
    Pages 325-336
  28. Iffat Chowdhury, Matt Gibson
    Pages 337-348
  29. George Christodoulou, Alkmini Sgouritsa, Bo Tang
    Pages 349-360
  30. Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya
    Pages 361-372
  31. Michael Dinitz, Michael Schapira, Asaf Valadarsky
    Pages 399-410
  32. Pål Grønås Drange, Markus Sortland Dregi, Daniel Lokshtanov, Blair D. Sullivan
    Pages 411-423
  33. Pål Grønås Drange, Michał Pilipczuk
    Pages 424-436
  34. Paul Dütting, Robert Kleinberg
    Pages 437-449
  35. Friedrich Eisenbrand, Shay Moran, Rom Pinchasi, Martin Skutella
    Pages 450-458
  36. Yuval Emek, Tobias Langner, Roger Wattenhofer
    Pages 459-470
  37. Leah Epstein, Elena Kleiman
    Pages 471-482
  38. Hossein Efsandiari, MohammadTaghi Hajiaghyi, Jochen Könemann, Hamid Mahini, David Malec, Laura Sanità
    Pages 483-495
  39. Hossein Esfandiari, MohammadTaghi Hajiaghayi, Vahid Liaghat, Morteza Monemizadeh
    Pages 496-508
  40. Michael Etscheid, Heiko Röglin
    Pages 509-520
  41. Moran Feldman
    Pages 521-532
  42. Johannes Fischer, Travis Gagie, Paweł Gawrychowski, Tomasz Kociumaka
    Pages 533-544
  43. Ariel Gabizon, Daniel Lokshtanov, Michał Pilipczuk
    Pages 545-556
  44. Jie Gao, Mayank Goswami
    Pages 557-569
  45. Loukas Georgiadis, Giuseppe F. Italiano, Charis Papadopoulos, Nikos Parotsidis
    Pages 582-594

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
  • Buy this book on publisher's site