Foundations of Software Technology and Theoretical Computer Science: 19th Conference Chennai, India, December 13-15, 1999 Proceedings
Author: C. Pandu Rangan, V. Raman, R. Ramanujam
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66836-7
DOI: 10.1007/3-540-46691-6

Table of Contents:

Recent Developments in the Theory of Arrangements of Surfaces
Dynamic Compressed Hyperoctrees with Application to the N-body Problem
Largest Empty Rectangle among a Point Set
Renaming Is Necessary in Timed Regular Expressions
Product Interval Automata: A Subclass of Timed Automata
The Complexity of Rebalancing a Binary Search Tree
Fast Allocation and Deallocation with an Improved Buddy System
Optimal Bounds for Transformations of ω-Automata
CTL+ Is Exponentially More Succinct than CTL
A Top-Down Look at a Secure Message
Explaining Updates by Minimal Sums
A Foundation for Hybrid Knowledge Bases
Hoare Logic for Mutual Recursion and Local Variables
Explicit Substitutions and Programming Languages
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings
A Randomized Algorithm for Flow Shop Scheduling
Synthesizing Distributed Transition Systems from Global Specifications
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
Implicit Temporal Query Languages: Towards Completeness
On the Undecidability of Some Sub-classical First-Order Logics

R. Ramanujam

Books by R. Ramanujam (50 max)

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings (Lecture Notes in Computer Science)

Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (Foundations of ... Technology and Theoretical Computer Science)

FSTTCS 2005 : Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Power System Dynamics Analysis and Simulation

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing And Internet Technology 8th International Conference Icdcit 2012 Bhubaneswar India February 24 2012 Proceedings

Computational Electromagnetic Transients Modeling, Solution Methods and Simulation

Modelling and Analysis of Electrical Machines