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
Conference proceedings FSTTCS 2007

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 Computer Science (R0)
  • 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