Skip to main content
SpringerLink
Log in

Foundations of Software Technology and Theoretical Computer Science

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

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. C. Pandu Rangan

    1. Department of Computer Science and Engineering, Indian Institute of Technology, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. V. Raman

    1. Institute of Mathematical Sciences C.I.T. Campus, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. R. Ramanujam

    1. Institute of Mathematical Sciences C.I.T. Campus, Chennai, 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 1738)

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Talk 1

    1. Recent Developments in the Theory of Arrangements of Surfaces

      • Micha Sharir
      Pages 1-21

  3. Session 1(a)

    1. Dynamic Compressed Hyperoctrees with Application to the N-body Problem

      • Srinivas Aluru, Fatih E. Sevilgen
      Pages 21-33

    2. Largest Empty Rectangle among a Point Set

      • Jeet Chaudhuri, Subhas C. Nandy
      Pages 34-46

  4. Session 1(b)

    1. Renaming Is Necessary in Timed Regular Expressions

      • Philippe Herrmann
      Pages 47-59

    2. Product Interval Automata: A Subclass of Timed Automata

      • Deepak D’Souza, P. S. Thiagarajan
      Pages 60-71

  5. Session 2(a)

    1. The Complexity of Rebalancing a Binary Search Tree

      • Rolf Fagerberg
      Pages 72-83

    2. Fast Allocation and Deallocation with an Improved Buddy System

      • Erik D. Demaine, Ian J. Munro
      Pages 84-96

  6. Session 2(b)

    1. Optimal Bounds for Transformations of ω-Automata

      • Christof Löding
      Pages 97-109

    2. CTL+ Is Exponentially More Succinct than CTL

      • Thomas Wilke
      Pages 110-121

  7. Invited Talk 2

    1. A Top-Down Look at a Secure Message

      • Martín Abadi, Cédric Fournet, Georges Gonthier
      Pages 122-141

  8. Session 3

    1. Explaining Updates by Minimal Sums

      • Jürgen Dix, Karl Schlechta
      Pages 142-154

    2. A Foundation for Hybrid Knowledge Bases

      • James J. Lu, Neil V. Murray, Erik Rosenthal
      Pages 155-167

  9. Session 4

    1. Hoare Logic for Mutual Recursion and Local Variables

      • David von Oheimb
      Pages 168-180

  10. Invited Talk 3

    1. Explicit Substitutions and Programming Languages

      • Jean-Jacques Lévy, Luc Maranget
      Pages 181-200

  11. Session 5(a)

    1. Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings

      • Luca Becchetti, Miriam Di Ianni, Alberto Marchetti-Spaccamela
      Pages 201-213

    2. A Randomized Algorithm for Flow Shop Scheduling

      • Naveen Garg, Sachin Jain, Chaitanya Swamy
      Pages 213-218

  12. Session 5(b)

    1. Synthesizing Distributed Transition Systems from Global Specifications

      • Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
      Pages 219-231

    2. Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata

      • Supratik Mukhopadhyay, Andreas Podelski
      Pages 232-244

  13. Session 6

    1. Implicit Temporal Query Languages: Towards Completeness

      • Nicole Bidoit, Sandra de Amo
      Pages 245-257
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science and Engineering, Indian Institute of Technology, Chennai, India

    C. Pandu Rangan

  • Institute of Mathematical Sciences C.I.T. Campus, Chennai, India

    V. Raman, R. Ramanujam

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation