Advertisement

© 2005

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

  • Sundar Sarukkai
  • Sandeep Sen
Conference proceedings FSTTCS 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 1-18
    2. Russell Impagliazzo
      Pages 19-47
    3. Natarajan Shankar
      Pages 60-78
    4. Igor Walukiewicz
      Pages 79-91
    5. Joel Spencer
      Pages 106-106
  3. Contributed Papers

    1. Michael Edwards, Kasturi Varadarajan
      Pages 107-115
    2. Taolue Chen, Tingting Han, Jian Lu
      Pages 128-139
    3. Vijay Kumar, Atri Rudra
      Pages 152-163
    4. Refael Hassin, Danny Segev
      Pages 164-176
    5. Ana Almeida Matos
      Pages 177-188
    6. Ugo Dal Lago, Martin Hofmann
      Pages 189-200
    7. P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
      Pages 201-212
    8. Mojmír Křetínský, Vojtěch Řehák, Jan Strejček
      Pages 213-224
    9. Ting Zhang, Henny B. Sipma, Zohar Manna
      Pages 225-237
    10. Eric Allender, Samir Datta, Sambuddha Roy
      Pages 238-249

About these proceedings

Keywords

Automat automata automata theory complexity complexity theory computer computer science design formal method logic mathematical logic programming

Editors and affiliations

  • Sundar Sarukkai
    • 1
  • Sandeep Sen
    • 2
  1. 1.National Institute of Advanced StudiesIndian Institute of Science CampusBangaloreIndia
  2. 2.Department of Comp. Sc. & Engg.Indian Institute of Technology DelhiNew DelhiIndia

Bibliographic information

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace