Skip to main content
SpringerLink
Log in

Automata, Languages, and Programming

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Javier Esparza

    1. Institut für Informatik, Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pierre Fraigniaud

    1. LIAFA, Université Paris Diderot-Paris 7, Case 7014, Paris Cedex 13, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thore Husfeldt

    1. IT University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Elias Koutsoupias

    1. Department Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICALP 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (89 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Sporadic Solutions to Zero-One Exclusion Tasks

      • Eli Gafni, Maurice Herlihy
      Pages 1-10

    2. Verifying and Synthesizing Software with Recursive Functions

      • Viktor Kuncak
      Pages 11-25

  3. Track A: Algorithms, Complexity, and Games

    1. Weak Parity

      • Scott Aaronson, Andris Ambainis, Kaspars Balodis, Mohammad Bavarian
      Pages 26-38

    2. Consequences of Faster Alignment of Sequences

      • Amir Abboud, Virginia Vassilevska Williams, Oren Weimann
      Pages 39-51

    3. Distance Labels with Optimal Local Stretch

      • Ittai Abraham, Shiri Chechik
      Pages 52-63

    4. Time-Expanded Packings

      • David Adjiashvili, Sandro Bosio, Robert Weismantel, Rico Zenklusen
      Pages 64-76

    5. Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM

      • Peyman Afshani, Timothy M. Chan, Konstantinos Tsakalidis
      Pages 77-88

    6. The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average

      • Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
      Pages 89-100

    7. Tighter Relations between Sensitivity and Other Complexity Measures

      • Andris Ambainis, Mohammad Bavarian, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo
      Pages 101-113

    8. On Hardness of Jumbled Indexing

      • Amihood Amir, Timothy M. Chan, Moshe Lewenstein, Noa Lewenstein
      Pages 114-125

    9. Morphing Planar Graph Drawings Optimally

      • Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli
      Pages 126-137

    10. Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs

      • Surender Baswana, Shahbaz Khan
      Pages 138-149

    11. On the Role of Shared Randomness in Simultaneous Communication

      • Mohammad Bavarian, Dmitry Gavinsky, Tsuyoshi Ito
      Pages 150-162

    12. Short PCPs with Projection Queries

      • Eli Ben-Sasson, Emanuele Viola
      Pages 163-173

    13. Star Partitions of Perfect Graphs

      • René van Bevern, Robert Bredereck, Laurent Bulteau, Jiehua Chen, Vincent Froese, Rolf Niedermeier et al.
      Pages 174-185

    14. Coordination Mechanisms for Selfish Routing over Time on a Tree

      • Sayan Bhattacharya, Janardhan Kulkarni, Vahab Mirrokni
      Pages 186-197

    15. On Area-Optimal Planar Graph Drawings

      • Therese Biedl
      Pages 198-210

    16. Shortest Two Disjoint Paths in Polynomial Time

      • Andreas Björklund, Thore Husfeldt
      Pages 211-222

    17. Listing Triangles

      • Andreas Björklund, Rasmus Pagh, Virginia Vassilevska Williams, Uri Zwick
      Pages 223-234
Back to top

Other volumes

  1. Automata, Languages, and Programming

  2. Automata, Languages, and Programming

Keywords

About this book

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.

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München, Germany

    Javier Esparza

  • LIAFA, Université Paris Diderot-Paris 7, Case 7014, Paris Cedex 13, France

    Pierre Fraigniaud

  • IT University of Copenhagen, Copenhagen, Denmark

    Thore Husfeldt

  • Department Computer Science, University of Oxford, Oxford, UK

    Elias Koutsoupias

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation