Skip to main content
SpringerLink
Log in
Book cover

Automata, Languages and Programming

36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Susanne Albers

    1. Department of Computer Science, University of Freiburg, Freiburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alberto Marchetti-Spaccamela

    1. Department of Computer and Systems Sciences, Sapienza University of Rome, Roma, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yossi Matias

    1. Tel Aviv University Google R&D Center, School of Computer Science, Tel Aviv University, Tel Aviv, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sotiris Nikoletseas

    1. University of Patras and CTI, Rion, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wolfgang Thomas

    1. RWTH Aachen, Aachen, Germany

    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 5556)

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

Included in the following conference series:

Conference proceedings info: ICALP 2009.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (48 papers)

  1. Track B: Contributed Papers

    1. LTL Path Checking Is Efficiently Parallelizable

      • Lars Kuhtz, Bernd Finkbeiner
      Pages 235-246

    2. An Explicit Formula for the Free Exponential Modality of Linear Logic

      • Paul-André Melliès, Nicolas Tabareau, Christine Tasson
      Pages 247-260

    3. Decidability of the Guarded Fragment with the Transitive Closure

      • Jakub Michaliszyn
      Pages 261-272

    4. Weak Alternating Timed Automata

      • Pawel Parys, Igor Walukiewicz
      Pages 273-284

    5. A Decidable Characterization of Locally Testable Tree Languages

      • Thomas Place, Luc Segoufin
      Pages 285-296

    6. The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games

      • Michael Ummels, Dominik Wojtczak
      Pages 297-308

  2. Track C: Invited Lecture

    1. Google’s Auction for TV Ads

      • Noam Nisan, Jason Bayer, Deepak Chandra, Tal Franji, Robert Gardner, Yossi Matias et al.
      Pages 309-327

  3. Track C: Contributed Papers

    1. Graph Sparsification in the Semi-streaming Model

      • Kook Jin Ahn, Sudipto Guha
      Pages 328-338

    2. Sort Me If You Can: How to Sort Dynamic Data

      • Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian, Eli Upfal
      Pages 339-350

    3. Maximum Bipartite Flow in Networks with Adaptive Channel Width

      • Yossi Azar, Aleksander Mądry, Thomas Moscibroda, Debmalya Panigrahi, Aravind Srinivasan
      Pages 351-362

    4. Mediated Population Protocols

      • Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
      Pages 363-374

    5. Rumor Spreading in Social Networks

      • Flavio Chierichetti, Silvio Lattanzi, Alessandro Panconesi
      Pages 375-386

    6. MANETS: High Mobility Can Make Up for Low Transmission Power

      • Andrea E. F. Clementi, Francesco Pasquale, Riccardo Silvestri
      Pages 387-398

    7. Multiple Random Walks and Interacting Particle Systems

      • Colin Cooper, Alan Frieze, Tomasz Radzik
      Pages 399-410

    8. Derandomizing Random Walks in Undirected Graphs Using Locally Fair Exploration Strategies

      • Colin Cooper, David Ilcinkas, Ralf Klasing, Adrian Kosowski
      Pages 411-422

    9. On a Network Generalization of the Minmax Theorem

      • Constantinos Daskalakis, Christos H. Papadimitriou
      Pages 423-434

    10. Rate-Based Transition Systems for Stochastic Process Calculi

      • Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
      Pages 435-446

    11. Improved Algorithms for Latency Minimization in Wireless Networks

      • Alexander Fanghänel, Thomas Keßelheim, Berthold Vöcking
      Pages 447-458

    12. Efficient Methods for Selfish Network Design

      • Dimitris Fotakis, Alexis C. Kaporis, Paul G. Spirakis
      Pages 459-471

    13. Smoothed Analysis of Balancing Networks

      • Tobias Friedrich, Thomas Sauerwald, Dan Vilenchik
      Pages 472-483
Back to top

Other volumes

  1. Automata, Languages and Programming

  2. Automata, Languages and Programming

Keywords

About this book

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games) and track B (focusing on logic, automata, semantics and theory of programming), and of the recently introduced track C (in 2009 focusing on foundations of networked computation). In response to the call for papers, the Program Committee received 370 s- missions: 223 for track A, 84 for track B and 63 for track C. Out of these, 108 papers were selected for inclusion in the scienti?c program: 62 papers for track A, 24 for track B and 22 for track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many dese- ing papers could not be selected. ICALP 2009 consisted of ?ve invited lectures and the contributed papers.

Editors and Affiliations

  • Department of Computer Science, University of Freiburg, Freiburg, Germany

    Susanne Albers

  • Department of Computer and Systems Sciences, Sapienza University of Rome, Roma, Italy

    Alberto Marchetti-Spaccamela

  • Tel Aviv University Google R&D Center, School of Computer Science, Tel Aviv University, Tel Aviv, Israel

    Yossi Matias

  • University of Patras and CTI, Rion, Greece

    Sotiris Nikoletseas

  • RWTH Aachen, Aachen, Germany

    Wolfgang Thomas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation