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
      14. Lane A. Hemaspaandra, Mayur Thakur
        Pages 217-229
      15. Matthew Hertz, Neil Immerman, J. Eliot B Moss
        Pages 230-242
      16. Christopher M. Homan, Mayur Thakur
        Pages 243-254
      17. Grégory Lafitte
        Pages 267-279
      18. Aris Pagourtzis, Paolo Penna, Konrad Schlude, Kathleen Steinhöfel, David Scot Taylor, Peter Widmayer
        Pages 280-291
      19. B. S. Panda, Sajal K. Das
        Pages 292-309
      20. Tomoyuki Yamakami
        Pages 323-336
  3. Logic, Semantics, Specification and Verification

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

      1. Andrew D. Gordon
        Pages 355-355
      2. Carl A. Gunter
        Pages 356-369
    3. Contributed Papers

      1. Patrick Baillot
        Pages 370-382
      2. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
        Pages 383-395
      3. Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani
        Pages 396-408
      4. Hana Chockler, Orna Kupferman
        Pages 409-421
      5. Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli
        Pages 422-434
      6. Dino Distefano, Arend Rensink, Joost-Pieter Katoen
        Pages 435-447
      7. Matthew Fluet, Riccardo Pucella
        Pages 448-460
      8. Rachid Guerraoui, Petr Kouznetsov
        Pages 461-473
      9. Martin Hyland, Gordon Plotkin, John Power
        Pages 474-484
      10. Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano
        Pages 485-497
      11. Dan Dougherty, Stephane Lengrand, Pierre Lescanne
        Pages 511-523
      12. Catuscia Palamidessi, Oltea Mihaela Herescu
        Pages 537-549
      13. Iain Phillips, Maria Grazia Vigliotti
        Pages 550-562
      14. Alan Schmitt
        Pages 563-575
      15. Olivier Serre
        Pages 576-587

About this book


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.


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
  • 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment