Algorithms - ESA 2015

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

  • Nikhil Bansal
  • Irene Finocchi
Conference proceedings

DOI: 10.1007/978-3-662-48350-3

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 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.

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

  • 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