Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar19. FSTTCS 1999: Chennai, India
C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam:
Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings. Lecture Notes in Computer Science 1738, Springer 1999, ISBN 3-540-66836-5
Invited Talk 1
Session 1(a)
- Srinivas Aluru, Fatih Erdogan Sevilgen:
Dynamic Compressed Hypertoctrees with Application to the N-Body Problem. 21-33
Session 1(b)
Session 2(a)
- Erik D. Demaine, J. Ian Munro:
Fast Allocation and Deallocation with an Improved Buddy System. 84-96
Session 2(b)
Invited Talk 2
Session 3
Session 4
Invited Talk 3
Session 5(a)
- Luca Becchetti, Miriam Di Ianni, Alberto Marchetti-Spaccamela:
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings. 201-212
Session 5(b)
- Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan:
Synthesizing Distributed Transition Systems from Global Specification. 219-231 - Supratik Mukhopadhyay, Andreas Podelski:
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. 232-244
Session 6
- Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith:
On the Undecidability of some Sub-Classical First-Order Logics. 258-268
Invited Talk 4
- Lila Kari, Mark Daley, Greg Gloor, Rani Siromoney, Laura F. Landweber:
How to Compute with DNA. 269-282
Session 7(a)
- L. Sunil Chandran:
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles. 283-290 - Jörg Schwerdt, Michiel H. M. Smid, Ravi Janardan, Eric Johnson, Jayanth Majhi:
Protecting Facets in Layered Manufacturing. 291-303
Session 7(b)
- Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine:
The Receptive Distributed pi-Calculus (Extended Abstract). 304-315
Session 8
- Achour Mostéfaoui, Michel Raynal:
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. 329-340
Invited Talk 5
Session 9(a)
- Martin Sauerhoff:
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables. 342-355
Session 9(b)
- Michael Huth:
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems. 369-380 - Flavio Corradini, Rocco De Nicola, Anna Labella:
Graded Modalities and Resource Bisimulation. 381-393
Session 10(a)
Session 10(b)
- Ron van der Meyden, Nikolay V. Shilov:
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). 432-445
FST&TCS - ISAAC Joint Session Talks
maintained by 
, founded at 
, founded at 
last updated on 2019-02-20 00:25 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
