Advertisement

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

  • Kamal Lodaya
  • Meena Mahajan

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Max A. Alekseyev, Pavel A. Pevzner
      Pages 1-15
    2. Javier Esparza, Kousha Etessami
      Pages 16-31
  3. Contributed Papers

    1. Michaël Adélaïde, Claire Pagetti
      Pages 71-83
    2. Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
      Pages 97-109
    3. Mark de Berg, Micha Streppel
      Pages 110-121
    4. Olaf Beyersdorff
      Pages 122-134
    5. Ahmed Bouajjani, Antoine Meyer
      Pages 135-147
    6. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen
      Pages 148-160
    7. Marco Carbone, Mogens Nielsen, Vladimiro Sassone
      Pages 161-173
    8. Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar
      Pages 174-185
    9. Ho-lun Cheng, Tony Tan
      Pages 186-197
    10. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
      Pages 198-210
    11. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
      Pages 211-223
    12. Nikhil R. Devanur, Richard J. Lipton, Nisheeth K. Vishnoi
      Pages 237-249
    13. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
      Pages 250-262
    14. Martin Fürer, Shiva Prasad Kasiviswanathan
      Pages 263-274
    15. Paul Gastin, Benjamin Lerman, Marc Zeitoun
      Pages 275-286
    16. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
      Pages 287-298
    17. Joachim Gudmundsson, Christos Levcopoulos
      Pages 299-310
    18. Sumit Gulwani, Ashish Tiwari, George C. Necula
      Pages 311-323
    19. Sariel Har-Peled
      Pages 324-335
    20. John M. Hitchcock, A. Pavan
      Pages 336-347
    21. Julia Kempe, Alexei Kitaev, Oded Regev
      Pages 372-383
    22. Shay Kutten, Boaz Patt-Shamir
      Pages 396-407
    23. Christof Löding, P. Madhusudan, Olivier Serre
      Pages 408-420
    24. Ivana Mijajlović, Noah Torp-Smith, Peter O’Hearn
      Pages 421-433
    25. Angelo Montanari, Gabriele Puppis
      Pages 434-446
    26. Srinivasan Parthasarathy, Rajiv Gandhi
      Pages 447-459
    27. Luis Rademacher, Santosh Vempala
      Pages 469-480
    28. Mayur Thakur, Rahul Tripathi
      Pages 481-493
    29. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
      Pages 494-505
    30. Kumar Neeraj Verma
      Pages 518-530
  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

  • Kamal Lodaya
    • 1
  • Meena Mahajan
    • 2
  1. 1.The Institute of Mathematical SciencesChennaiIndia
  2. 2.The Institute of Mathematical SciencesChennaiIndia

Bibliographic information

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