default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs99.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AbadiFG99,
author = {Mart{\'{\i}}n Abadi and
C{\'{e}}dric Fournet and
Georges Gonthier},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {A Top-Down Look at a Secure Message},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {122--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_10},
doi = {10.1007/3-540-46691-6\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AbadiFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AluruS99,
author = {Srinivas Aluru and
Fatih Erdogan Sevilgen},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Dynamic Compressed Hypertoctrees with Application to the N-Body Problem},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {21--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_2},
doi = {10.1007/3-540-46691-6\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AluruS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmadioBL99,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
C{\'{e}}dric Lhoussaine},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {The Receptive Distributed pi-Calculus (Extended Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {304--315},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_24},
doi = {10.1007/3-540-46691-6\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AmadioBL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaazCFV99,
author = {Matthias Baaz and
Agata Ciabattoni and
Christian G. Ferm{\"{u}}ller and
Helmut Veith},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {On the Undecidability of some Sub-Classical First-Order Logics},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {258--268},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_20},
doi = {10.1007/3-540-46691-6\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaazCFV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BecchettiIM99,
author = {Luca Becchetti and
Miriam Di Ianni and
Alberto Marchetti{-}Spaccamela},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Approximation Algorithms for Routing and Call Scheduling in All-Optical
Chains and Rings},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {201--212},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_15},
doi = {10.1007/3-540-46691-6\_15},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BecchettiIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BidoitA99,
author = {Nicole Bidoit and
Sandra de Amo},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Implicit Temporal Query Languages: Towards Completeness},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {245--257},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_19},
doi = {10.1007/3-540-46691-6\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BidoitA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CastellaniMT99,
author = {Ilaria Castellani and
Madhavan Mukund and
P. S. Thiagarajan},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Synthesizing Distributed Transition Systems from Global Specification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {219--231},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_17},
doi = {10.1007/3-540-46691-6\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CastellaniMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chandran99,
author = {L. Sunil Chandran},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {A High Girth Graph Construction and a Lower Bound for Hitting Set
Size for Combinatorial Rectangles},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {283--290},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_22},
doi = {10.1007/3-540-46691-6\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Chandran99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChaudhuriN99,
author = {Jeet Chaudhuri and
Subhas C. Nandy},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Largest Empty Rectangle among a Point Set},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {34--46},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_3},
doi = {10.1007/3-540-46691-6\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChaudhuriN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CorradiniNL99,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Graded Modalities and Resource Bisimulation},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {381--393},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_31},
doi = {10.1007/3-540-46691-6\_31},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CorradiniNL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DSouzaT99,
author = {Deepak D'Souza and
P. S. Thiagarajan},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Product Interval Automata: {A} Subclass of Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {60--71},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_5},
doi = {10.1007/3-540-46691-6\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DSouzaT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemaineM99,
author = {Erik D. Demaine and
J. Ian Munro},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Fast Allocation and Deallocation with an Improved Buddy System},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {84--96},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_7},
doi = {10.1007/3-540-46691-6\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DemaineM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DixS99,
author = {J{\"{u}}rgen Dix and
Karl Schlechta},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Explaining Updates by Minimal Sums},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {142--154},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_11},
doi = {10.1007/3-540-46691-6\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DixS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsikO99,
author = {Zolt{\'{a}}n {\'{E}}sik and
Satoshi Okawa},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Series and Parallel Operations on Pomsets},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {316--328},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_25},
doi = {10.1007/3-540-46691-6\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EsikO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Fagerberg99,
author = {Rolf Fagerberg},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {The Complexity of Rebalancing a Binary Search Tree},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {72--83},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_6},
doi = {10.1007/3-540-46691-6\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Fagerberg99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GargJS99,
author = {Naveen Garg and
Sachin Jain and
Chaitanya Swamy},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {A Randomized Algorithm for Flow Shop Scheduling},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {213--218},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_16},
doi = {10.1007/3-540-46691-6\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GargJS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Heinemann99,
author = {Bernhard Heinemann},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {On Sets Growing Continously},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {420--431},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_34},
doi = {10.1007/3-540-46691-6\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Heinemann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Herrmann99,
author = {Philippe Herrmann},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Renaming is Necessary in Timed Regular Expressions},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {47--59},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_4},
doi = {10.1007/3-540-46691-6\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Herrmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Huth99,
author = {Michael Huth},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {A Unifying Framework for Model Checking Labeled Kripke Structures,
Modal Transition Systems and Interval Transition Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {369--380},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_30},
doi = {10.1007/3-540-46691-6\_30},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Huth99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KariDGSL99,
author = {Lila Kari and
Mark Daley and
Greg Gloor and
Rani Siromoney and
Laura F. Landweber},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {How to Compute with {DNA}},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {269--282},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_21},
doi = {10.1007/3-540-46691-6\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KariDGSL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LevyM99,
author = {Jean{-}Jacques L{\'{e}}vy and
Luc Maranget},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Explicit Substitutions and Programming Languages},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {181--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_14},
doi = {10.1007/3-540-46691-6\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LevyM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Loding99,
author = {Christof L{\"{o}}ding},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Optimal Bounds for Transformations of omega-Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {97--109},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_8},
doi = {10.1007/3-540-46691-6\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Loding99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LuMR99,
author = {James J. Lu and
Neil V. Murray and
Erik Rosenthal},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {A Foundation for Hybrid Knowledge Bases},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {155--167},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_12},
doi = {10.1007/3-540-46691-6\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LuMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Mehlhorn99,
author = {Kurt Mehlhorn},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {The Engineering of some Bipartite Matching Programs},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {446--449},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_36},
doi = {10.1007/3-540-46691-6\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Mehlhorn99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MeydenS99,
author = {Ron van der Meyden and
Nikolay V. Shilov},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Model Checking Knowledge and Time in Systems with Perfect Recall (Extended
Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {432--445},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_35},
doi = {10.1007/3-540-46691-6\_35},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/MeydenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MostefaouiR99,
author = {Achour Most{\'{e}}faoui and
Michel Raynal},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Unreliable Failure Detectors with Limited Scope Accuracy and an Application
to Consensus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {329--340},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_26},
doi = {10.1007/3-540-46691-6\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MostefaouiR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MukhopadhyayP99,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {232--244},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_18},
doi = {10.1007/3-540-46691-6\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MukhopadhyayP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Oheimb99,
author = {David von Oheimb},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Hoare Logic for Mutual Recursion and Local Variables},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {168--180},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_13},
doi = {10.1007/3-540-46691-6\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Oheimb99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Sauerhoff99,
author = {Martin Sauerhoff},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Computing with Restricted Nondeterminism: The Dependence of the {OBDD}
Size on the Number of Nondeterministic Variables},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {342--355},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_28},
doi = {10.1007/3-540-46691-6\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Sauerhoff99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SchindelhauerJ99,
author = {Christian Schindelhauer and
Andreas Jakoby},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {The Non-Recursive Power of Erroneous Computation},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {394--406},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_32},
doi = {10.1007/3-540-46691-6\_32},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SchindelhauerJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SchwerdtSJJM99,
author = {J{\"{o}}rg Schwerdt and
Michiel H. M. Smid and
Ravi Janardan and
Eric Johnson and
Jayanth Majhi},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Protecting Facets in Layered Manufacturing},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {291--303},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_23},
doi = {10.1007/3-540-46691-6\_23},
timestamp = {Tue, 12 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/SchwerdtSJJM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Sharir99,
author = {Micha Sharir},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Recent Developments in the Theory of Arrangements of Surfaces},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {1--20},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_1},
doi = {10.1007/3-540-46691-6\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Sharir99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Sieling99,
author = {Detlef Sieling},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {356--368},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_29},
doi = {10.1007/3-540-46691-6\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Sieling99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Toda99,
author = {Seinosuke Toda},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Graph Isomorphism: Its Complexity and Algorithms (Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {341},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_27},
doi = {10.1007/3-540-46691-6\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Toda99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Wilke99,
author = {Thomas Wilke},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {CTL\({}^{\mbox{+}}\) is Exponentially more Succinct than {CTL}},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {110--121},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_9},
doi = {10.1007/3-540-46691-6\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Wilke99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Yamakami99,
author = {Tomoyuki Yamakami},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Analysis of Quantum Functions (Preliminary Version)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {407--419},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_33},
doi = {10.1007/3-540-46691-6\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Yamakami99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1999,
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6},
doi = {10.1007/3-540-46691-6},
isbn = {3-540-66836-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-21 14:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
