----------------------------------------------------------------------- FST&TCS'99 List of accepted papers ----------------------------------------------------------------------- *** 99003 Title: System Description, Abstraction, and Verification: A Uniform Treatment of Quality and Quantity Author(s): Michael Huth ----------------------------------------------------------------------- *** 99004 Title: Hoare Logic for Mutual Recursion and Local Variables Author(s): David von Oheimb ----------------------------------------------------------------------- *** 99006 Title: Series and parallel operations on pomsets Author(s): Zolta'n E'sik and Satoshi Okawa ------------------------------------------------------------------------ *** 99007 Title: Explaining Updates by Minimal Sums Author(s): Juergen Dix and Karl Schlechta --------------------------------------------------------------- *** 99008 Title: A high girth graph construction and a lower bound on the hitting set size for combinatorial rectangles Author(s): L. Sunilchandran ------------------------------------------------------------- *** 99013 Title: Implicit temporal query languages : towards completeness Author(s): N. Bidoit, S. De Amo ------------------------------------------------------------- *** 99016 Title: Lower Bounds for Linear Transformed OBDDs and FBDDs Author(s): Detlef Sieling ------------------------------------------------------------- *** 99019 Title: Protecting Facets in Layered Manufacturing Author(s): Joerg Schwerdt, Michiel Smid, Ravi Janardan, Eric Johnson, Jayanth Majhi ------------------------------------------------------------- *** 99020 Title: Product Interval Automata: A Subclass of Timed Automata Author(s): Deepak D'Souza and P. S. Thiagarajan ------------------------------------------------------------- *** 99026 Title: Approximation algorithms for routing and call scheduling in all optical chains and rings. Author(s): L.Becchetti M.Di Ianni and A. Marchetti-Spaccamela ------------------------------------------------------------- *** 99031 Title: Renaming is necessary in timed regular expressions Author(s): Philippe HERRMANN ------------------------------------------------------------- *** 99034 Title: Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus Author(s): Achour Mostefaoui and Michel Raynal -------------------------------------------------------------------- *** 99037 Title: On Sets Growing Continuously Author(s): Bernhard Heinemann -------------------------------------------------------------------- *** 99039 Title: "Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables" Author(s): Martin Sauerhoff --------------------------------------------------------------------- *** 99047 Title: Largest empty rectangle among a point set Author(s): Jeet Chaudhuri and Subhas C. Nandy ------------------------------------------------------------- *** 99049 Title: A Randomized Algorithm for Flow Shop Scheduling Author(s): Naveen Garg Chaitanya Swamy Sachin Jain ------------------------------------------------------------- *** 99050 Title: The Receptive Distributed Pi-Calculus Author(s): Roberto Amadio, Gerard Boudol and Cedric Lhoussaine ------------------------------------------------------------- *** 99052 Title: Error Complexity Classes of Decision Problems Author(s): Christian Schindelhauer Andreas Jakoby ------------------------------------------------------------- *** 99054 Title: Optimal Bounds for Transformations of Omega-Automata Author(s): Christof Loeding ------------------------------------------------------------- *** 99056 Title: CTL+ Is Exponentially More Succinct Than CTL Author(s): Thomas Wilke ------------------------------------------------------------- *** 99057 Title: The Complexity of Rebalancing a Binary Search Tree Author(s): Rolf Fagerberg ---------------------------------------------------------------------- *** 99060 Title: Fast Allocation and Deallocation with an Improved Buddy System Author(s): Erik D. Demaine and J. Ian Munro --------------------------------------------------------------------- *** 99063 Title: Analysis of Quantum Polynomial-Time Amplitude Functions Author(s): Tomoyuki Yamakami ------------------------------------------------------------- *** 99065 Title: Undecidability of Some Sub-classical First-order Logics: Urquart's C and Related Logics Author(s): Matthias Baaz, Agata Ciabattoni, Christian Fermueller, Helmut Veith ------------------------------------------------------------- *** 99067 Title: Dynamic Compressed Hyperoctrees with Application to the N-body Problem Author(s): Srinivas Aluru Fatih Sevilgen ------------------------------------------------------------- *** 99071 Title: Beyond Region Graph Author(s): Supratik Mukhopadhyay and Andreas Podelski ------------------------------------------------------------- *** 99073 Title: Synthesizing distributed transition systems from global specifications Author(s): Ilaria Castellani, Madhavan Mukund and P.S.Thiagarajan ------------------------------------------------------------- *** 99078 Title: A Foundation for Hybrid Knowledge Bases Author(s): James J. Lu, Neil V. Murray and Erik Rosenthal ------------------------------------------------------------- *** 99080 Title: Graded Modalities and Resource Bisimulation Author(s): Flavio Corradini, Rocco De Nicola, Anna Labella ------------------------------------------------------------- *** 99082 Title: Model Checking Knowledge and Time in Systems with Perfect Recall Author(s): Ron van der Meyden and Nikolay Shilov ------------------------------------------------------------- -------------------------------------------------------------