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

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

Table of contents

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

  3. Algorithms

    1. Annalisa De Bonis, Leszek Gąsieniec, Ugo Vaccaro
      Pages 81-96
    2. Daniel Bleichenbacher, Aggelos Kiayias, Moti Yung
      Pages 97-108
  4. Process Algebra

    1. Stefan Blom, Wan Fokkink, Sumit Nain
      Pages 109-118
    2. Daniele Gorla, Rosario Pugliese
      Pages 119-132
    3. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
      Pages 133-144
  5. Approximation Algorithms

    1. Rajiv Gandhi, Eran Halperin, Samir Khuller, Guy Kortsarz, Aravind Srinivasan
      Pages 164-175
    2. Chandra Chekuri, Sudipto Guha, Joseph Seffi Naor
      Pages 189-199
    3. Amin Coja-Oghlan, Cristopher Moore, Vishal Sanwalani
      Pages 200-211
    4. 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

  • DOI https://doi.org/10.1007/3-540-45061-0
  • 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace