Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

  • Javier Esparza
  • Pierre Fraigniaud
  • Thore Husfeldt
  • Elias Koutsoupias
Conference proceedings ICALP 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8573)

Table of contents

  1. Front Matter
  2. Track B: Logic, Semantics, Automata, and Theory of Programming

    1. Jason Bell, Janusz Brzozowski, Nelma Moreira, Rogério Reis
      Pages 1-12
    2. Michael Blondin, Alain Finkel, Pierre McKenzie
      Pages 13-25
    3. Mikołaj Bojańczyk
      Pages 26-37
    4. Mikołaj Bojańczyk, Tomasz Gogacz, Henryk Michalewski, Michał Skrzypczak
      Pages 50-61
    5. Marcello Bonsangue, Jurriaan Rot, Davide Ancona, Frank de Boer, Jan Rutten
      Pages 62-73
    6. Alex Borello, Julien Cervelle, Pascal Vanier
      Pages 74-85
    7. Daniel Bundala, Joël Ouaknine
      Pages 86-97
    8. Andrea Cerone, Alexey Gotsman, Hongseok Yang
      Pages 98-109
    9. Krishnendu Chatterjee, Laurent Doyen
      Pages 110-121
    10. Krishnendu Chatterjee, Rasmus Ibsen-Jensen
      Pages 122-133
    11. Dmitry Chistikov, Rupak Majumdar
      Pages 146-157
    12. Egor Derevenetc, Roland Meyer
      Pages 158-170
    13. Manfred Droste, Vitaly Perevoshchikov
      Pages 171-182
    14. Yuval Emek, Jochen Seidel, Roger Wattenhofer
      Pages 183-195
    15. Sergey Goncharov, Dirk Pattinson
      Pages 196-207
    16. Radha Jagadeesan, James Riely
      Pages 220-231

Other volumes

  1. 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
  2. Automata, Languages, and Programming
    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

About these proceedings

Introduction

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.

Keywords

approximation algorithms cellular automata computational complexity cryptography dynamic programming fault-tolerance mobile agents number theory algorithms pattern matching proof systems state compexity

Editors and affiliations

  • Javier Esparza
    • 1
  • Pierre Fraigniaud
    • 2
  • Thore Husfeldt
    • 3
  • Elias Koutsoupias
    • 4
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany
  2. 2.LIAFA, Université Paris Diderot-Paris 7Paris Cedex 13France
  3. 3.IT University of CopenhagenCopenhagenDenmark
  4. 4.Department Computer ScienceUniversity of OxfordOxfordUK,

Bibliographic information

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