Automata, Languages and Programming

30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings

  • Jos C. M. Baeten
  • Jan Karel Lenstra
  • Joachim Parrow
  • Gerhard J. Woeginger
Conference proceedings ICALP 2003

DOI: 10.1007/3-540-45061-0

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

Table of contents (90 papers)

  1. Front Matter
    Pages I-XVIII
  2. Invited Lectures

  3. Algorithms

    1. Generalized Framework for Selectors with Applications in Optimal Group Testing
      Annalisa De Bonis, Leszek Gąsieniec, Ugo Vaccaro
      Pages 81-96
    2. Decoding of Interleaved Reed Solomon Codes over Noisy Data
      Daniel Bleichenbacher, Aggelos Kiayias, Moti Yung
      Pages 97-108
  4. Process Algebra

    1. On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces
      Stefan Blom, Wan Fokkink, Sumit Nain
      Pages 109-118
    2. Resource Access and Mobility Control with Dynamic Privileges Acquisition
      Daniele Gorla, Rosario Pugliese
      Pages 119-132
    3. Replication vs. Recursive Definitions in Channel Based Calculi
      Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
      Pages 133-144
  5. Approximation Algorithms

    1. An Improved Approximation Algorithm for Vertex Cover with Hard Capacities
      Rajiv Gandhi, Eran Halperin, Samir Khuller, Guy Kortsarz, Aravind Srinivasan
      Pages 164-175
    2. Approximating Steiner k-Cuts
      Chandra Chekuri, Sudipto Guha, Joseph Seffi Naor
      Pages 189-199
    3. MAX k-CUT and Approximating the Chromatic Number of Random Graphs
      Amin Coja-Oghlan, Cristopher Moore, Vishal Sanwalani
      Pages 200-211
    4. Approximation Algorithm for Directed Telephone Multicast Problem
      Michael Elkin, Guy Kortsarz
      Pages 212-223

About these proceedings

Keywords

Automat Bisimulation Internet algorithms automata complexity data structures logic model checking online optimization programming verification

Editors and affiliations

  • Jos C. M. Baeten
    • 1
  • Jan Karel Lenstra
    • 2
  • Joachim Parrow
    • 3
  • Gerhard J. Woeginger
    • 4
  1. 1.Dept. of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.School of Industrial and Systems EngineeringGeorgia Institute of TechnologyAtlantaUSA
  3. 3.Department of Information TechnologyUppsala UniversityUppsalaSweden
  4. 4.Faculty of Electrical Engineering, Mathematics and Computer ScienceUniversity of TwenteEnschedeThe Netherlands

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40493-4
  • Online ISBN 978-3-540-45061-0
  • Series Print ISSN 0302-9743