Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

  • Fernando Orejas
  • Paul G. Spirakis
  • Jan van Leeuwen

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Keynote Papers

    1. Christos H. Papadimitriou
      Pages 1-3
  3. Invited Papers

  4. Algebraic and Circuit Complexity

    1. E. Boros, K. Elbassioni, V. Gurvich, L. Khachiyan, K. Makino
      Pages 92-103
    2. William Hesse
      Pages 104-114
  5. Algorithm Analysis

    1. Pankaj K. Agarwal, Lars Arge, Octavian Procopiuc, Jeffrey Scott Vitter
      Pages 115-127
    2. Gerth Stølting Brodal, Rolf Fagerberg, Christian N.S. Pedersen, Anna Östlin
      Pages 140-151
    3. Philippe Flajolet, Yves Guivarc’h, Wojciech Szpankowski, Brigitte Vallée
      Pages 152-165
    4. Kunihiko Sadakane, Nadia Takki-Chebihi, Takeshi Tokuyama
      Pages 166-177
  6. Approximation and Optimization

    1. Bernard Chazelle, Ronitt Rubinfeld, Luca Trevisan
      Pages 190-200
    2. Lars Engebretsen, Marek Karpinski
      Pages 201-212
    3. Uriel Feige, Michael Langberg
      Pages 213-224
    4. Rajiv Gandhi, Samir Khuller, Aravind Srinivasan
      Pages 225-236

About these proceedings

Keywords

Automat Routing algorithms automata complexity data structures model checking optimization programming verification

Editors and affiliations

  • Fernando Orejas
    • 1
  • Paul G. Spirakis
    • 2
  • Jan van Leeuwen
    • 3
  1. 1.Departament de Llenguatges i Sistemes InformáticsUniv. Politècnica de CatalunyaSpain
  2. 2.Computer Technology Institute (CTI)University of PatrasPatrasGreece
  3. 3.Institute of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48224-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42287-7
  • Online ISBN 978-3-540-48224-6
  • Series Print ISSN 0302-9743
  • About this book

Industry Sectors