Skip to main content
SpringerLink
Log in
Book cover

Automata, Languages and Programming

31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Josep Díaz

    1. Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Campus Nord - Ed. Omega, Barcelona

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juhani Karhumäki

    1. Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arto Lepistö

    1. Department of Mathematics, University of Turku, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Donald Sannella

    1. Laboratory for Foundations of Computer Science, University of Edinburgh,  

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

Included in the following conference series:

Conference proceedings info: ICALP 2004.

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

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. Deciding Knowledge in Security Protocols Under Equational Theories

      • Martín Abadi, Véronique Cortier
      Pages 46-58

    2. Representing Nested Inductive Types Using W-Types

      • Michael Abbott, Thorsten Altenkirch, Neil Ghani
      Pages 59-71

    3. Algorithms for Multi-product Pricing

      • Gagan Aggarwal, Tomás Feder, Rajeev Motwani, An Zhu
      Pages 72-83

    4. Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

      • Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
      Pages 84-96

    5. Linear and Branching Metrics for Quantitative Transition Systems

      • Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
      Pages 97-109

    6. Learning a Hidden Subgraph

      • Noga Alon, Vera Asodi
      Pages 110-121

    7. Optimal Reachability for Weighted Timed Games

      • Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
      Pages 122-133

    8. Wavelength Assignment in Optical Networks with Fixed Fiber Capacity

      • Matthew Andrews, Lisa Zhang
      Pages 134-145

    9. External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs

      • Lars Arge, Ulrich Meyer, Laura Toma
      Pages 146-157

    10. A λ-Calculus for Resource Separation

      • Robert Atkey
      Pages 158-170

    11. The Power of Verification for One-Parameter Agents

      • Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano
      Pages 171-182

    12. Group Spreading: A Protocol for Provably Secure Distributed Name Service

      • Baruch Awerbuch, Christian Scheideler
      Pages 183-195

    13. Further Improvements in Competitive Guarantees for QoS Buffering

      • Nikhil Bansal, Lisa K Fleischer, Tracy Kimbrel, Mohammad Mahdian, Baruch Schieber, Maxim Sviridenko
      Pages 196-207
Back to top

Other volumes

  1. Automata, Languages and Programming

Keywords

Editors and Affiliations

  • Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Campus Nord - Ed. Omega, Barcelona

    Josep Díaz

  • Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, Turku, Finland

    Juhani Karhumäki

  • Department of Mathematics, University of Turku, Turku, Finland

    Arto Lepistö

  • Laboratory for Foundations of Computer Science, University of Edinburgh,  

    Donald Sannella

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation