Skip to main content
SpringerLink
Log in
Book cover

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Sundar Sarukkai

    1. National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sandeep Sen

    1. Department of Comp. Sc. & Engg., Indian Institute of Technology Delhi, New Delhi, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FSTTCS 2005.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Contributed Papers

    1. Dimensions of Copeland-Erdös Sequences

      • Xiaoyang Gu, Jack H. Lutz, Philippe Moser
      Pages 250-260

    2. Refining the Undecidability Frontier of Hybrid Automata

      • Venkatesh Mysore, Amir Pnueli
      Pages 261-272

    3. When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?

      • Beatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
      Pages 273-284

    4. Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses

      • S. Muthukrishnan
      Pages 285-296

    5. Practical Algorithms for Tracking Database Join Sizes

      • Sumit Ganguly, Deepanjan Kesh, Chandan Saha
      Pages 297-309

    6. On Sampled Semantics of Timed Systems

      • Pavel Krčál, Radek Pelánek
      Pages 310-321

    7. Eventual Timed Automata

      • Deepak D’Souza, M. Raj Mohan
      Pages 322-334

    8. Causal Closure for MSC Languages

      • Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
      Pages 335-347

    9. Reachability Analysis of Multithreaded Software with Asynchronous Communication

      • Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejček
      Pages 348-359

    10. Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem

      • Andreas Baltz, Devdatt Dubhashi, Libertad Tansini, Anand Srivastav, Sören Werth
      Pages 360-371

    11. Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

      • Tomáš Brázdil, Antonín Kučera
      Pages 372-383

    12. Towards a CTL* Tableau

      • Mark Reynolds
      Pages 384-395

    13. Bisimulation Quantified Logics: Undecidability

      • Tim French
      Pages 396-407

    14. Logarithmic-Time Single Deleter, Multiple Inserter Wait-Free Queues and Stacks

      • Prasad Jayanti, Srdjan Petrovic
      Pages 408-419

    15. Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems

      • Sathya Peri, Neeraj Mittal
      Pages 420-431

    16. On the Expressiveness of TPTL and MTL

      • Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
      Pages 432-443

    17. Modal Strength Reduction in Quantified Discrete Duration Calculus

      • Shankara Narayanan Krishna, Paritosh K. Pandya
      Pages 444-456

    18. Comparing Trees Via Crossing Minimization

      • Henning Fernau, Michael Kaufmann, Mathias Poths
      Pages 457-469

    19. On Counting the Number of Consistent Genotype Assignments for Pedigrees

      • Jiří Srba
      Pages 470-482

    20. Fixpoint Logics on Hierarchical Structures

      • Stefan Göller, Markus Lohrey
      Pages 483-494
Back to top

Other volumes

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

Keywords

Editors and Affiliations

  • National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India

    Sundar Sarukkai

  • Department of Comp. Sc. & Engg., Indian Institute of Technology Delhi, New Delhi, India

    Sandeep Sen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation