Advertisement

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