Advertisement

Automata, Languages, and Programming

42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

  • Magnús M. Halldórsson
  • Kazuo Iwama
  • Naoki Kobayashi
  • Bettina Speckmann

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9134)

Table of contents

  1. Front Matter
    Pages I-XXXI
  2. Shweta Agrawal, Yuval Ishai, Dakshita Khurana, Anat Paskin-Cherniavsky
    Pages 1-13
  3. Susanne Albers, Dario Frascaria
    Pages 26-38
  4. Georgios Amanatidis, Evangelos Markakis, Afshin Nikzad, Amin Saberi
    Pages 39-51
  5. Elliot Anshelevich, Koushik Kar, Shreyas Sekar
    Pages 52-64
  6. Boris Aronov, Matthew J. Katz
    Pages 65-77
  7. Noa Avigdor-Elgrabli, Sungjin Im, Benjamin Moseley, Yuval Rabani
    Pages 78-90
  8. Yossi Azar, Ilan Reuven Cohen
    Pages 91-102
  9. Paul Beame, Vincent Liew, Mihai Pǎtraşcu
    Pages 103-115
  10. Babak Behsaz, Zachary Friggstad, Mohammad R. Salavatipour, Rohit Sivakumar
    Pages 116-128
  11. Xiaohui Bei, Ning Chen, Shengyu Zhang
    Pages 129-142
  12. Christoph Berkholz, Martin Grohe
    Pages 155-166
  13. Aaron Bernstein, Cliff Stein
    Pages 167-179
  14. Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
    Pages 180-192
  15. Amey Bhangale, Swastik Kopparty, Sushant Sachdeva
    Pages 193-205
  16. Sayan Bhattacharya, Monika Henzinger, Giuseppe F. Italiano
    Pages 206-218
  17. Laurent Bienvenu, Damien Desfontaines, Alexander Shen
    Pages 219-230
  18. Andreas Björklund, Vikram Kamat, Łukasz Kowalik, Meirav Zehavi
    Pages 243-255
  19. Manuel Bodirsky, Barnaby Martin, Antoine Mottet
    Pages 256-267
  20. Benjamin A. Burton, Clément Maria, Jonathan Spreer
    Pages 281-293
  21. Clément L. Canonne
    Pages 294-305
  22. Chandra Chekuri, Shalmoli Gupta, Kent Quanrud
    Pages 318-330
  23. Aloni Cohen, Justin Holmgren
    Pages 331-342
  24. Gil Cohen, Igor Shinkar
    Pages 343-354
  25. Matthew Coudron, Thomas Vidick
    Pages 355-366
  26. Ágnes Cseh, Chien-Chung Huang, Telikepalli Kavitha
    Pages 367-379
  27. Jurek Czyzowicz, Leszek Ga̧sieniec, Adrian Kosowski, Evangelos Kranakis, Paul G. Spirakis, Przemysław Uznański
    Pages 393-405
  28. Yann Disser, Max Klimm, Elisabeth Lübbecke
    Pages 406-418
  29. Zdeněk Dvořák, Martin Kupec
    Pages 432-443
  30. Thomas Erlebach, Michael Hoffmann, Frank Kammer
    Pages 444-455
  31. Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi
    Pages 456-468
  32. Andreas Emil Feldmann, Wai Shing Fung, Jochen Könemann, Ian Post
    Pages 469-480
  33. Fedor V. Fomin, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin
    Pages 481-493
  34. Fedor V. Fomin, Petteri Kaski, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh
    Pages 494-505
  35. Lila Fontes, Rahul Jain, Iordanis Kerenidis, Sophie Laplante, Mathieu Laurière, Jérémie Roland
    Pages 506-516
  36. Peter Fulla, Stanislav Živný
    Pages 517-528
  37. Andreas Galanis, Leslie Ann Goldberg, Mark Jerrum
    Pages 529-541
  38. Jugal Garg, Ruta Mehta, Vijay V. Vazirani, Sadra Yazdanbod
    Pages 554-566
  39. Paweł Gawrychowski, Shay Mozes, Oren Weimann
    Pages 580-592
  40. Paweł Gawrychowski, Patrick K. Nicholson
    Pages 593-604
  41. Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Nikos Parotsidis
    Pages 605-616

Other volumes

  1. Automata, Languages, and Programming
    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
  2. 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

Keywords

Algorithms Automata Categorical semantics Computational complexity Constraint satisfaction Convex optimization Directed algebraic topology Dynamic graph algorithms Foundations of networked computation Game theory Logics Parameterised complexity Probabilistic systems Signature schemes Social networks Streaming Theoretical computer science Theory of programming Transducer Universal algebra

Editors and affiliations

  • Magnús M. Halldórsson
    • 1
  • Kazuo Iwama
    • 2
  • Naoki Kobayashi
    • 3
  • Bettina Speckmann
    • 4
  1. 1.Reykjavik UniversityReykjavikIceland
  2. 2.Kyoto UniversityKyotoJapan
  3. 3.The University of TokyoTokyoJapan
  4. 4.Technische Universiteit EindhovenEindhovenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-47672-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-47671-0
  • Online ISBN 978-3-662-47672-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site