Advertisement

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
    11. Xiaoyang Gu, Jack H. Lutz, Philippe Moser
      Pages 250-260
    12. Venkatesh Mysore, Amir Pnueli
      Pages 261-272
    13. Beatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
      Pages 273-284
    14. Sumit Ganguly, Deepanjan Kesh, Chandan Saha
      Pages 297-309
    15. Pavel Krčál, Radek Pelánek
      Pages 310-321
    16. Deepak D’Souza, M. Raj Mohan
      Pages 322-334
    17. Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
      Pages 335-347
    18. Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejček
      Pages 348-359
    19. Andreas Baltz, Devdatt Dubhashi, Libertad Tansini, Anand Srivastav, Sören Werth
      Pages 360-371
    20. Mark Reynolds
      Pages 384-395
    21. Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
      Pages 432-443
    22. Shankara Narayanan Krishna, Paritosh K. Pandya
      Pages 444-456
    23. Henning Fernau, Michael Kaufmann, Mathias Poths
      Pages 457-469
    24. Stefan Göller, Markus Lohrey
      Pages 483-494
    25. Joost Engelfriet, Sebastian Maneth
      Pages 495-504
    26. Bruno Codenotti, Benton McCune, Sriram Penumatcha, Kasturi Varadarajan
      Pages 505-516
    27. Radha Jagadeesan, Gopalan Nadathur, Vijay Saraswat
      Pages 517-528
    28. Toshiyasu Arai, Georg Moser
      Pages 529-540
    29. Antonín Kučera, Oldřich Stražovský
      Pages 541-552
    30. Ellie D’Hondt, Prakash Panangaden
      Pages 553-564
  4. Back Matter

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

  • DOI https://doi.org/10.1007/11590156
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30495-1
  • Online ISBN 978-3-540-32419-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site