Foundations of Information Technology in the Era of Network and Mobile Computing

IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

  • Ricardo Baeza-Yates
  • Ugo Montanari
  • Nicola Santoro

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 96)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Algorithms, Complexity and Models of Computation

    1. Front Matter
      Pages 1-1
    2. Invited Papers

      1. Jozef Gruska, Hiroshi Imai, Keiji Matsumoto
        Pages 3-22
    3. Contributed Papers

      1. Nikhil Bansal, Zhen Liu, Arvind Sankar
        Pages 38-46
      2. Sergei Bespamyatnikh, Binay Bhattacharya, David Kirkpatrick, Michael Segal
        Pages 47-58
      3. Alina Beygelzimer, Mitsunori Ogihara
        Pages 59-70
      4. Douglas M. Blough, Mauro Leoncini, Giovanni Resta, Paolo Santi
        Pages 71-82
      5. Vasco Brattka, Martin Ziegler
        Pages 95-106
      6. Véronique Bruyère, Olivier Carton
        Pages 107-118
      7. G. Călinescu, I. I. Măndoiu, A. Zelikovsky
        Pages 119-130
      8. Mark Cieliebak, Zsuzsanna Lipták, Emo Welzl, Thomas Erlebach, Jens Stoye
        Pages 143-156
      9. A. Dal Palú, E. Pontelli, D. Ranjan
        Pages 157-168
      10. Marie Duflot, Laurent Fribourg, Claudine Picaronny
        Pages 169-180
      11. Alon Efrat, Sariel Har-Peled
        Pages 181-192
      12. Leszek Gąsieniec, Igor Potapov
        Pages 193-205
      13. Nicolas Hanusse, Dimitris Kavvadias, Evangelos Kranakis, Danny Krizanc
        Pages 206-216

About this book

Introduction

Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks:

-Algorithms, Complexity and Models of Computation;
-Logic, Semantics, Specification and Verification.

This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.

Keywords

Analysis Automat Permutation Web Services algorithms ants automata complexity computability computer science information technology logic programming theoretical computer science

Editors and affiliations

  • Ricardo Baeza-Yates
    • 1
  • Ugo Montanari
    • 2
  • Nicola Santoro
    • 3
  1. 1.Universidad de ChileChile
  2. 2.Università di PisaItaly
  3. 3.Carleton UniversityCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35608-2
  • Copyright Information Springer-Verlag US 2002
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5275-5
  • Online ISBN 978-0-387-35608-2
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book