Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AbramovG00,
author = {Sergei M. Abramov and
Robert Gl{\"{u}}ck},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Combining Semantics with Non-standard Interpreter Hierarchies},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {201--213},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_16},
doi = {10.1007/3-540-44450-5\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AbramovG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AdsulMS00,
author = {Bharat Adsul and
Aranyak Mehta and
Milind A. Sohoni},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Keeping Track of the Latest Gossip in Shared Memory Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {477--488},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_39},
doi = {10.1007/3-540-44450-5\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AdsulMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AfratiBFJK00,
author = {Foto N. Afrati and
Evripidis Bampis and
Aleksei V. Fishkin and
Klaus Jansen and
Claire Kenyon},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Scheduling to Minimize the Average Completion Time of Dedicated Tasks},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {454--464},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_37},
doi = {10.1007/3-540-44450-5\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AfratiBFJK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmirLP00,
author = {Amihood Amir and
Moshe Lewenstein and
Ely Porat},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Approximate Swapped Matching},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {302--311},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_24},
doi = {10.1007/3-540-44450-5\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AmirLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BasinCM00,
author = {David A. Basin and
Manuel Clavel and
Jos{\'{e}} Meseguer},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Rewriting Logic as a Metalogical Framework},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {55--80},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_4},
doi = {10.1007/3-540-44450-5\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BasinCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaswanaS00,
author = {Surender Baswana and
Sandeep Sen},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Planar Graph Blocking for External Searching},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {252--263},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_20},
doi = {10.1007/3-540-44450-5\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaswanaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BunemanKT00,
author = {Peter Buneman and
Sanjeev Khanna and
Wang Chiew Tan},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Data Provenance: Some Basic Issues},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {87--93},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_6},
doi = {10.1007/3-540-44450-5\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BunemanKT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chazelle00,
author = {Bernard Chazelle},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Irregularities of Distribution, Derandomization, and Complexity Theory},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {46--54},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_3},
doi = {10.1007/3-540-44450-5\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Chazelle00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CleavelandL00,
author = {Rance Cleaveland and
Gerald L{\"{u}}ttgen},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A Semantic Theory for Heterogeneous System Design},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {312--324},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_25},
doi = {10.1007/3-540-44450-5\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CleavelandL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CrescenziLGLPR00,
author = {Pierluigi Crescenzi and
Alberto Del Lungo and
Roberto Grossi and
Elena Lodi and
Linda Pagli and
Gianluca Rossi},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Text Sparsification via Local Maxima},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {290--301},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_23},
doi = {10.1007/3-540-44450-5\_23},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/CrescenziLGLPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Emerson00,
author = {E. Allen Emerson},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Model Checking: Theory into Practice},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {1--10},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_1},
doi = {10.1007/3-540-44450-5\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Emerson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FavrholdtN00,
author = {Lene M. Favrholdt and
Morten N. Nielsen},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {On-Line Edge-Coloring with a Fixed Number of Colors},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {106--116},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_8},
doi = {10.1007/3-540-44450-5\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FavrholdtN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FellowsMRS00,
author = {Michael R. Fellows and
Catherine McCartin and
Frances A. Rosamond and
Ulrike Stege},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Coordinatized Kernels and Catalytic Reductions: An Improved {FPT}
Algorithm for Max Leaf Spanning Tree and Other Problems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {240--251},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_19},
doi = {10.1007/3-540-44450-5\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FellowsMRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FernandezSW00,
author = {Mary F. Fern{\'{a}}ndez and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {An Algebra for {XML} Query},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {11--45},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_2},
doi = {10.1007/3-540-44450-5\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FernandezSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FournetLMR00,
author = {C{\'{e}}dric Fournet and
Cosimo Laneve and
Luc Maranget and
Didier R{\'{e}}my},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Inheritance in the Join Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {397--408},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_32},
doi = {10.1007/3-540-44450-5\_32},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FournetLMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FuY00,
author = {Yuxi Fu and
Zhenrong Yang},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {The Ground Congruence for Chi Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {385--396},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_31},
doi = {10.1007/3-540-44450-5\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FuY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Fujito00,
author = {Toshihiro Fujito},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {On Approximability of the Independent/Connected Edge Dominating Set
Problems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {117--126},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_9},
doi = {10.1007/3-540-44450-5\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Fujito00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GianantonioF00,
author = {Pietro Di Gianantonio and
Gianluca Franco},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {The Fine Structure of Game Lambda Models},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {429--441},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_35},
doi = {10.1007/3-540-44450-5\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GianantonioF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GlasserS00,
author = {Christian Gla{\ss}er and
Heinz Schmitz},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Decidable Hierarchies of Starfree Languages},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {503--515},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_41},
doi = {10.1007/3-540-44450-5\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GlasserS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Grotschel00,
author = {Martin Gr{\"{o}}tschel},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Frequency Assignment in Mobile Phone Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {81--86},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_5},
doi = {10.1007/3-540-44450-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Grotschel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Guelev00,
author = {Dimitar P. Guelev},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A Complete Fragment of Higher-Order Duration {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {264--276},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_21},
doi = {10.1007/3-540-44450-5\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Guelev00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HallettL00,
author = {Michael T. Hallett and
Jens Lagergren},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Hunting for Functionally Analogous Genes},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {465--476},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_38},
doi = {10.1007/3-540-44450-5\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HallettL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KalyanasundaramP00,
author = {Bala Kalyanasundaram and
Kirk Pruhs},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Dynamic Spectrum Allocation: The Impotency of Duration Notification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {421--428},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_34},
doi = {10.1007/3-540-44450-5\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KalyanasundaramP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KoblerL00,
author = {Johannes K{\"{o}}bler and
Wolfgang Lindner},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {On Distribution-Specific Learning with Membership Queries versus Pseudorandom
Generation},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {336--347},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_27},
doi = {10.1007/3-540-44450-5\_27},
timestamp = {Sun, 05 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KoblerL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KoblerM00,
author = {Johannes K{\"{o}}bler and
Jochen Messner},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Is the Standard Proof System for {SAT} P-Optimal?},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {361--372},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_29},
doi = {10.1007/3-540-44450-5\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KoblerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Konig00,
author = {Barbara K{\"{o}}nig},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A General Framework for Types in Graph Rewriting},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {373--384},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_30},
doi = {10.1007/3-540-44450-5\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Konig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kshemkalyani00,
author = {Ajay D. Kshemkalyani},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Concurrent Knowledge and Logical Clock Abstractions},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {489--502},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_40},
doi = {10.1007/3-540-44450-5\_40},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Kshemkalyani00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KupfermanPV00,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Fair Equivalence Relations},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {151--163},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_12},
doi = {10.1007/3-540-44450-5\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KupfermanPV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LeonardiMV00,
author = {Stefano Leonardi and
Alberto Marchetti{-}Spaccamela and
Andrea Vitaletti},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Approximation Algorithms for Bandwidth and Storage Allocation Problems
under Real Time Constraints},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {409--420},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_33},
doi = {10.1007/3-540-44450-5\_33},
timestamp = {Tue, 27 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/LeonardiMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LinY00,
author = {Huimin Lin and
Wang Yi},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A Complete Axiomatisation for Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {277--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_22},
doi = {10.1007/3-540-44450-5\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LinY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ly00,
author = {Olivier Ly},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational
Graphs Is Infinite},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {188--200},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_15},
doi = {10.1007/3-540-44450-5\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ly00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/McKenzieVW00,
author = {Pierre McKenzie and
Heribert Vollmer and
Klaus W. Wagner},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Arithmetic Circuits and Polynomial Replacement Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {164--175},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_13},
doi = {10.1007/3-540-44450-5\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/McKenzieVW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Parigot00,
author = {Michel Parigot},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Strong Normalization of Second Order Symmetric lambda-Calculus},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {442--453},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_36},
doi = {10.1007/3-540-44450-5\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Parigot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PatkarN00,
author = {Sachin B. Patkar and
H. Narayanan},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Fast On-Line/Off-Line Algorithms for Optimal Reinforcement of a Network
and Its Connections with Principal Partition},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {94--105},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_7},
doi = {10.1007/3-540-44450-5\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PatkarN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RadhakrishnanSV00,
author = {Jaikumar Radhakrishnan and
Pranab Sen and
Sundar Vishwanathan},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Depth-3 Arithmetic Circuits for S\({}_{\mbox{n}}\)\({}^{\mbox{2}}\)(X)
and Extensions of the Graham-Pollack Theorem},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {176--187},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_14},
doi = {10.1007/3-540-44450-5\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RadhakrishnanSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SedletskyPB00,
author = {Ekaterina Sedletsky and
Amir Pnueli and
Mordechai Ben{-}Ari},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Formal Verification of the Ricart-Agrawala Algorithm},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {325--335},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_26},
doi = {10.1007/3-540-44450-5\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SedletskyPB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SmausFD00,
author = {Jan{-}Georg Smaus and
Fran{\c{c}}ois Fages and
Pierre Deransart},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Using Modes to Ensure Subject Reduction for Typed Logic Programs with
Subtyping},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {214--226},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_17},
doi = {10.1007/3-540-44450-5\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SmausFD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SpakowskiV00,
author = {Holger Spakowski and
J{\"{o}}rg Vogel},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Theta\({}_{\mbox{2}}\)\({}^{\mbox{p}}\)-Completeness: {A} Classical
Approach for New Results},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {348--360},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_28},
doi = {10.1007/3-540-44450-5\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SpakowskiV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/TorreN00,
author = {Salvatore La Torre and
Margherita Napoli},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A Decidable Dense Branching-Time Temporal Logic},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {139--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_11},
doi = {10.1007/3-540-44450-5\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/TorreN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VosV00,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Dynamically Ordered Probabilistic Choice Logic Programming},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {227--239},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_18},
doi = {10.1007/3-540-44450-5\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VosV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Walukiewicz00,
author = {Igor Walukiewicz},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Model Checking {CTL} Properties of Pushdown Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {127--138},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_10},
doi = {10.1007/3-540-44450-5\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Walukiewicz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Woinowski00,
author = {Jens R. Woinowski},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Prefix Languages of Church-Rosser Languages},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {516--530},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_42},
doi = {10.1007/3-540-44450-5\_42},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Woinowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2000,
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5},
doi = {10.1007/3-540-44450-5},
isbn = {3-540-41413-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-30 06:44 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:
