Advertisement

Foundations of Software Technology and Theoretical Computer Science

19th Conference Chennai, India, December 13-15, 1999 Proceedings

  • C. Pandu Rangan
  • V. Raman
  • R. Ramanujam
Conference proceedings FSTTCS 1999

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talk 1

  3. Session 1(a)

    1. Srinivas Aluru, Fatih E. Sevilgen
      Pages 21-33
    2. Jeet Chaudhuri, Subhas C. Nandy
      Pages 34-46
  4. Session 1(b)

    1. Deepak D’Souza, P. S. Thiagarajan
      Pages 60-71
  5. Session 2(a)

  6. Session 2(b)

  7. Invited Talk 2

    1. Martín Abadi, Cédric Fournet, Georges Gonthier
      Pages 122-141
  8. Session 3

    1. Jürgen Dix, Karl Schlechta
      Pages 142-154
    2. James J. Lu, Neil V. Murray, Erik Rosenthal
      Pages 155-167
  9. Session 4

  10. Invited Talk 3

    1. Jean-Jacques Lévy, Luc Maranget
      Pages 181-200
  11. Session 5(a)

    1. Luca Becchetti, Miriam Di Ianni, Alberto Marchetti-Spaccamela
      Pages 201-213
    2. Naveen Garg, Sachin Jain, Chaitanya Swamy
      Pages 213-218
  12. Session 5(b)

    1. Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
      Pages 219-231
    2. Supratik Mukhopadhyay, Andreas Podelski
      Pages 232-244
  13. Session 6

    1. Nicole Bidoit, Sandra de Amo
      Pages 245-257
    2. Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
      Pages 258-268
  14. Invited Talk 4

    1. Lila Kari, Mark Daley, Greg Gloor, Rani Siromoney, Laura F. Landweber
      Pages 269-282
  15. Session 7(a)

    1. Jörg Schwerdt, Michiel Smid, Ravi Janardan, Eric Johnson, Jayanth Majhi
      Pages 291-303
  16. Session 7(b)

    1. Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
      Pages 304-315
    2. Zoltán Ésik, Satoshi Okawa
      Pages 316-328
  17. Session 8

  18. Invited Talk 5

  19. Session 9(a)

  20. Session 9(b)

  21. Session 10(a)

    1. Christian Schindelhauer, Andreas Jakoby
      Pages 394-406
    2. Tomoyuki Yamakami
      Pages 407-419
  22. Session 10(b)

    1. Bernhard Heinemann
      Pages 420-431
    2. Ron van der Meyden, Nikolay V. Shilov
      Pages 432-445
  23. FST&TCS — ISAAC Joint Session Talks

  24. Back Matter
    Pages 451-452

About these proceedings

Keywords

Automata Theory Algorithms Computing Theory D programming language Foundations of Computing Mathematical Logic Searching Variable algorithms automata calculus complexity computer science logic model checking theoretical computer science

Editors and affiliations

  • C. Pandu Rangan
    • 1
  • V. Raman
    • 2
  • R. Ramanujam
    • 2
  1. 1.Department of Computer Science and EngineeringIndian Institute of TechnologyChennaiIndia
  2. 2.Institute of Mathematical Sciences C.I.T. CampusChennaiIndia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46691-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66836-7
  • Online ISBN 978-3-540-46691-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications