Advertisement

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

  • Editors
  • V. Arvind
  • Sanjiva Prasad

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Maurice Herlihy
      Pages 1-8
    2. Benjamin C. Pierce
      Pages 21-22
    3. Thomas Reps, Akash Lal, Nick Kidd
      Pages 23-51
    4. Salil Vadhan
      Pages 52-70
  3. Contributed Papers

    1. Amit Kumar, Yogish Sabharwal
      Pages 71-83
    2. Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi
      Pages 84-95
    3. Naveen Garg, Amit Kumar, Vinayaka Pandit
      Pages 96-107
    4. Michael Backes, Markus Dürmuth, Ralf Küsters
      Pages 108-120
    5. Yannick Chevalier, Mounira Kourjieh
      Pages 121-132
    6. Stéphanie Delaune, Steve Kremer, Mark Ryan
      Pages 133-145
    7. Christian Glaßer, Alan L. Selman, Stephen Travers, Liyu Zhang
      Pages 146-157
    8. Jacobo Torán
      Pages 158-167
    9. Ryan C. Harkins, John M. Hitchcock, A. Pavan
      Pages 168-178
    10. Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
      Pages 179-191
    11. Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
      Pages 192-203
    12. Diptikalyan Saha
      Pages 204-215
    13. Ravi Kumar, D. Sivakumar
      Pages 228-240
    14. Christian Glaßer, Christian Reitwießner, Stephen Travers, Matthias Waldherr
      Pages 253-264
    15. Nicolas Baudru, Rémi Morin
      Pages 277-289
    16. S. Akshay, Benedikt Bollig, Paul Gastin
      Pages 290-302
    17. Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
      Pages 303-315
    18. Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael Krivelevich, Saket Saurabh
      Pages 316-327
    19. Herbert Fleischner, Egbert Mujuni, Daniel Paulusma, Stefan Szeider
      Pages 340-351
    20. Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune
      Pages 352-363
    21. Judicaël Courant, Cristian Ene, Yassine Lakhnech
      Pages 364-375
    22. Myrto Arapinis, Marie Duflot
      Pages 376-387
    23. Mathieu Brévilliers, Nicolas Chevallier, Dominique Schmitt
      Pages 388-399
    24. Therese Biedl, Masud Hasan, Alejandro López-Ortiz
      Pages 400-411
    25. Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung
      Pages 424-435
    26. Krishnendu Chatterjee
      Pages 436-448
    27. Sven Schewe
      Pages 449-460
    28. Michael Benedikt, Alan Jeffrey
      Pages 461-472
    29. Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce
      Pages 485-496
    30. Walid Belkhir, Luigi Santocanale
      Pages 508-519
    31. Jérôme Leroux, Grégoire Sutre
      Pages 520-531
    32. Matthias Schmalz, Hagen Völzer, Daniele Varacca
      Pages 532-543
    33. Rémy Haemmerlé, François Fages, Sylvain Soliman
      Pages 544-556
  4. Back Matter

About these proceedings

Keywords

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

Bibliographic information

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