Skip to main content
  • Conference proceedings
  • © 2005

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

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

Conference proceedings info: FSTTCS 2004.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (43 papers)

  1. Front Matter

  2. Invited Papers

    1. Genome Halving Problem Revisited

      • Max A. Alekseyev, Pavel A. Pevzner
      Pages 1-15
    2. Verifying Probabilistic Procedural Programs

      • Javier Esparza, Kousha Etessami
      Pages 16-31
  3. Contributed Papers

    1. On the Urgency Expressiveness

      • Michaël Adélaïde, Claire Pagetti
      Pages 71-83
    2. A Decidable Fragment of Separation Logic

      • Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
      Pages 97-109
    3. Approximate Range Searching Using Binary Space Partitions

      • Mark de Berg, Micha Streppel
      Pages 110-121
    4. Representable Disjoint NP-Pairs

      • Olaf Beyersdorff
      Pages 122-134
    5. Symbolic Reachability Analysis of Higher-Order Context-Free Processes

      • Ahmed Bouajjani, Antoine Meyer
      Pages 135-147
    6. Optimal Strategies in Priced Timed Game Automata

      • Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen
      Pages 148-160
    7. A Calculus for Trust Management

      • Marco Carbone, Mogens Nielsen, Vladimiro Sassone
      Pages 161-173
    8. Short-Cuts on Star, Source and Planar Unfoldings

      • Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar
      Pages 174-185
    9. Subdividing Alpha Complex

      • Ho-lun Cheng, Tony Tan
      Pages 186-197
    10. Real-Counter Automata and Their Decision Problems

      • Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
      Pages 198-210
    11. Adjunct Elimination Through Games in Static Ambient Logic

      • Anuj Dawar, Philippa Gardner, Giorgio Ghelli
      Pages 211-223

Other Volumes

  1. FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Editors and Affiliations

  • The Institute of Mathematical Sciences, Chennai, India

    Kamal Lodaya, Meena Mahajan

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access