Automata, Languages, and Programming

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

  • Javier Esparza
  • Pierre Fraigniaud
  • Thore Husfeldt
  • Elias Koutsoupias
Conference proceedings ICALP 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8572)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Track A: Algorithms, Complexity, and Games

    1. Scott Aaronson, Andris Ambainis, Kaspars Balodis, Mohammad Bavarian
      Pages 26-38
    2. Amir Abboud, Virginia Vassilevska Williams, Oren Weimann
      Pages 39-51
    3. Ittai Abraham, Shiri Chechik
      Pages 52-63
    4. David Adjiashvili, Sandro Bosio, Robert Weismantel, Rico Zenklusen
      Pages 64-76
    5. Peyman Afshani, Timothy M. Chan, Konstantinos Tsakalidis
      Pages 77-88
    6. Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
      Pages 89-100
    7. Andris Ambainis, Mohammad Bavarian, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo
      Pages 101-113
    8. Amihood Amir, Timothy M. Chan, Moshe Lewenstein, Noa Lewenstein
      Pages 114-125
    9. Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli
      Pages 126-137
    10. Surender Baswana, Shahbaz Khan
      Pages 138-149
    11. Mohammad Bavarian, Dmitry Gavinsky, Tsuyoshi Ito
      Pages 150-162
    12. Eli Ben-Sasson, Emanuele Viola
      Pages 163-173
    13. René van Bevern, Robert Bredereck, Laurent Bulteau, Jiehua Chen, Vincent Froese, Rolf Niedermeier et al.
      Pages 174-185
    14. Sayan Bhattacharya, Janardhan Kulkarni, Vahab Mirrokni
      Pages 186-197
    15. Therese Biedl
      Pages 198-210
    16. Andreas Björklund, Thore Husfeldt
      Pages 211-222
    17. Andreas Björklund, Rasmus Pagh, Virginia Vassilevska Williams, Uri Zwick
      Pages 223-234
    18. Eric Blais, Johan Håstad, Rocco A. Servedio, Li-Yang Tan
      Pages 235-246
    19. Karl Bringmann, Fabian Kuhn, Konstantinos Panagiotou, Ueli Peter, Henning Thomas
      Pages 247-258
    20. Jop Briët, Zeev Dvir, Guangda Hu, Shubhangi Saraf
      Pages 259-270
    21. Jin-Yi Cai, Heng Guo, Tyson Williams
      Pages 271-282
    22. Clément Canonne, Ronitt Rubinfeld
      Pages 283-295
    23. Andrew M. Childs, David Gosset, Zak Webb
      Pages 308-319
    24. Richard Cleve, Rajat Mittal
      Pages 320-331
    25. Richard Cole, Howard Karloff
      Pages 332-343
    26. Artur Czumaj, Berthold Vöcking
      Pages 344-355
    27. Samir Datta, William Hesse, Raghav Kulkarni
      Pages 356-367
    28. Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Matthew J. Patitz, Robert T. Schweller, Andrew Winslow et al.
      Pages 368-379
    29. Erik D. Demaine, Yamming Huang, Chung-Shou Liao, Kunihiko Sadakane
      Pages 380-391
    30. Shahar Dobzinski, Renato Paes Leme
      Pages 392-404
    31. Markus Sortland Dregi, Daniel Lokshtanov
      Pages 405-416
    32. Zeev Dvir, Rafael Mendes de Oliveira, Amir Shpilka
      Pages 417-428
    33. György Dósa, Jiří Sgall
      Pages 429-441
    34. Michael Elkin, Ofer Neiman, Shay Solomon
      Pages 442-452
    35. Yuval Emek, Adi Rosén
      Pages 453-464
    36. Hossein Esfandiari, MohammadTaghi Hajiaghayi, Mohammad Reza Khani, Vahid Liaghat, Hamid Mahini, Harald Räcke
      Pages 465-476
    37. Uriel Feige, Shlomo Jozeph
      Pages 477-488
    38. Jiří Fiala, Pavel Klavík, Jan Kratochvíl, Roman Nedela
      Pages 489-501
    39. Mark Braverman, Ankit Garg
      Pages 502-513
    40. Paweł Gawrychowski, Shay Mozes, Oren Weimann
      Pages 525-537
    41. Anna C. Gilbert, Yi Li, Ely Porat, Martin J. Strauss
      Pages 538-550
    42. Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin
      Pages 551-562
    43. Anupam Gupta, Kunal Talwar, Udi Wieder
      Pages 563-575
    44. MohammadTaghi Hajiaghayi, Vahid Liaghat, Debmalya Panigrahi
      Pages 576-587
    45. Chinmay Hegde, Piotr Indyk, Ludwig Schmidt
      Pages 588-599

Other volumes

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

About these proceedings


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.


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.LIAFAUniversité Paris Diderot-Paris 7, Case 7014Paris Cedex 13France
  3. 3.IT University of CopenhagenCopenhagenDenmark
  4. 4.Department Computer ScienceUniversity of OxfordOxfordUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-43947-0
  • Online ISBN 978-3-662-43948-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment