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/fsttcs2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AbdullaCHV09,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Tom{\'{a}}s Vojnar},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Mediating for Reduction (on Minimizing Alternating B{\"{u}}chi
Automata)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2302},
doi = {10.4230/LIPICS.FSTTCS.2009.2302},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AbdullaCHV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbhinavLPS09,
author = {Abhinav Kumar and
Satyanarayana V. Lokam and
Vijay M. Patankar and
Jayalal Sarma},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Using Elimination Theory to construct Rigid Matrices},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {299--310},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2327},
doi = {10.4230/LIPICS.FSTTCS.2009.2327},
timestamp = {Tue, 19 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AbhinavLPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmmarCSKL09,
author = {Mostafa H. Ammar and
Deeparnab Chakrabarty and
Atish Das Sarma and
Subrahmanyam Kalyanasundaram and
Richard J. Lipton},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Algorithms for Message Ferrying on Mobile ad hoc Networks},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {13--24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2303},
doi = {10.4230/LIPICS.FSTTCS.2009.2303},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AmmarCSKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ArvindJS09,
author = {Vikraman Arvind and
Pushkar S. Joglekar and
Srikanth Srinivasan},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Arithmetic Circuits and the Hadamard Product of Polynomials},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {25--36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2304},
doi = {10.4230/LIPICS.FSTTCS.2009.2304},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ArvindJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BessyFGPPST09,
author = {St{\'{e}}phane Bessy and
Fedor V. Fomin and
Serge Gaspers and
Christophe Paul and
Anthony Perez and
Saket Saurabh and
St{\'{e}}phan Thomass{\'{e}}},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Kernels for Feedback Arc Set In Tournaments},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {37--47},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2305},
doi = {10.4230/LIPICS.FSTTCS.2009.2305},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BessyFGPPST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BojanczykT09,
author = {Mikolaj Bojanczyk and
Szymon Torunczyk},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Deterministic Automata and Extensions of Weak {MSO}},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {73--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2308},
doi = {10.4230/LIPICS.FSTTCS.2009.2308},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BojanczykT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliLP09,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On Timed Alternating Simulation for Concurrent Timed Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {85--96},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2309},
doi = {10.4230/LIPICS.FSTTCS.2009.2309},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Braud09,
author = {Laurent Braud},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Covering of ordinals},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {97--108},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2310},
doi = {10.4230/LIPICS.FSTTCS.2009.2310},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Braud09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BravermanCMSW09,
author = {Mark Braverman and
Stephen A. Cook and
Pierre McKenzie and
Rahul Santhanam and
Dustin Wehr},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Fractional Pebbling and Thrifty Branching Programs},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {109--120},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2311},
doi = {10.4230/LIPICS.FSTTCS.2009.2311},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BravermanCMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilEK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On the Memory Consumption of Probabilistic Pushdown Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2306},
doi = {10.4230/LIPICS.FSTTCS.2009.2306},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilFKKK09,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {61--72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2307},
doi = {10.4230/LIPICS.FSTTCS.2009.2307},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilFKKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CabessaDFM09,
author = {J{\'{e}}r{\'{e}}mie Cabessa and
Jacques Duparc and
Alessandro Facchini and
Filip Murlak},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {The Wadge Hierarchy of Max-Regular Languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {121--132},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2312},
doi = {10.4230/LIPICS.FSTTCS.2009.2312},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CabessaDFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Cristau09,
author = {Julien Cristau},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Automata and temporal logic over arbitrary linear time},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {133--144},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2313},
doi = {10.4230/LIPICS.FSTTCS.2009.2313},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Cristau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DattaNTW09,
author = {Samir Datta and
Prajakta Nimbhorkar and
Thomas Thierauf and
Fabian Wagner},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Graph Isomorphism for K{\_}\{3, 3\}-free and K{\_}5-free graphs is
in Log-space},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {145--156},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2314},
doi = {10.4230/LIPICS.FSTTCS.2009.2314},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DattaNTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Dawar09,
author = {Anuj Dawar},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Structure and Specification as Sources of Complexity},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {407--416},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2336},
doi = {10.4230/LIPICS.FSTTCS.2009.2336},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Dawar09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarK09,
author = {Anuj Dawar and
Stephan Kreutzer},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Domination Problems in Nowhere-Dense Classes},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {157--168},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2315},
doi = {10.4230/LIPICS.FSTTCS.2009.2315},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DelauneKP09,
author = {St{\'{e}}phanie Delaune and
Steve Kremer and
Olivier Pereira},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Simulation based security in the applied pi calculus},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {169--180},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2316},
doi = {10.4230/LIPICS.FSTTCS.2009.2316},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DelauneKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemriJLL09,
author = {St{\'{e}}phane Demri and
Marcin Jurdzinski and
Oded Lachish and
Ranko Lazic},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {The Covering and Boundedness Problems for Branching Vector Addition
Systems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {181--192},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2317},
doi = {10.4230/LIPICS.FSTTCS.2009.2317},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DemriJLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FominLRS09,
author = {Fedor V. Fomin and
Daniel Lokshtanov and
Venkatesh Raman and
Saket Saurabh},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Subexponential Algorithms for Partial Cover Problems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {193--201},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2318},
doi = {10.4230/LIPICS.FSTTCS.2009.2318},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FominLRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GeorgiouMT09,
author = {Konstantinos Georgiou and
Avner Magen and
Iannis Tourlakis},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On the Tightening of the Standard {SDP} for Vertex Cover with {\textdollar}ell{\_}1{\textdollar}
Inequalities},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {203--214},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2319},
doi = {10.4230/LIPICS.FSTTCS.2009.2319},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GeorgiouMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HitchcockPV09,
author = {John M. Hitchcock and
Aduri Pavan and
N. V. Vinodchandran},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Kolmogorov Complexity in Randomness Extraction},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {215--226},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2320},
doi = {10.4230/LIPICS.FSTTCS.2009.2320},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HitchcockPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HuangS09,
author = {Chien{-}Chung Huang and
Zoya Svitkina},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Donation Center Location Problem},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {227--238},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2321},
doi = {10.4230/LIPICS.FSTTCS.2009.2321},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HuangS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KannanK09,
author = {Ravi Kannan and
K. Narayan Kumar},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Preface -- {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science {(2009)}},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2341},
doi = {10.4230/LIPICS.FSTTCS.2009.2341},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KannanK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KaplanKLR09,
author = {Marc Kaplan and
Iordanis Kerenidis and
Sophie Laplante and
J{\'{e}}r{\'{e}}mie Roland},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Non-Local Box Complexity and Secure Function Evaluation},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {239--250},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2322},
doi = {10.4230/LIPICS.FSTTCS.2009.2322},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KaplanKLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KattenbeltH09,
author = {Mark Kattenbelt and
Michael Huth},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Verification and Refutation of Probabilistic Specifications via Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {251--262},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2323},
doi = {10.4230/LIPICS.FSTTCS.2009.2323},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KattenbeltH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KhandekarHPRSW09,
author = {Rohit Khandekar and
Kirsten Hildrum and
Sujay S. Parekh and
Deepak Rajan and
Jay Sethuraman and
Joel L. Wolf},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Bounded Size Graph Clustering with Applications to Stream Processing},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {275--286},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2325},
doi = {10.4230/LIPICS.FSTTCS.2009.2325},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KhandekarHPRSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KhandekarKN09,
author = {Rohit Khandekar and
Guy Kortsarz and
Zeev Nutov},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Approximating Fault-Tolerant Group-Steiner Problems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {263--274},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2324},
doi = {10.4230/LIPICS.FSTTCS.2009.2324},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KhandekarKN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KneisLR09,
author = {Joachim Kneis and
Alexander Langer and
Peter Rossmanith},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {A Fine-grained Analysis of a Simple Independent Set Algorithm},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {287--298},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2326},
doi = {10.4230/LIPICS.FSTTCS.2009.2326},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KneisLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Larsen09,
author = {Kim G. Larsen},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Priced Timed Automata: Theory and Tools},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {417--425},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2337},
doi = {10.4230/LIPICS.FSTTCS.2009.2337},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Larsen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LodingW09,
author = {Christof L{\"{o}}ding and
Karianto Wong},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On Nondeterministic Unranked Tree Automata with Sibling Constraints},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {311--322},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2328},
doi = {10.4230/LIPICS.FSTTCS.2009.2328},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LodingW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MadeiraM09,
author = {Andr{\'{e}} Madeira and
S. Muthukrishnan},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Functionally Private Approximations of Negligibly-Biased Estimators},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {323--334},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2329},
doi = {10.4230/LIPICS.FSTTCS.2009.2329},
timestamp = {Mon, 10 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MadeiraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/OderskyM09,
author = {Martin Odersky and
Adriaan Moors},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Fighting bit Rot with Types (Experience Report: Scala Collections)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {427--451},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2338},
doi = {10.4230/LIPICS.FSTTCS.2009.2338},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/OderskyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PaulS09,
author = {Soumya Paul and
Sunil Easaw Simon},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Nash Equilibrium in Generalised Muller Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {335--346},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2330},
doi = {10.4230/LIPICS.FSTTCS.2009.2330},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PaulS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PraveenL09,
author = {M. Praveen and
Kamal Lodaya},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {347--358},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2331},
doi = {10.4230/LIPICS.FSTTCS.2009.2331},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PraveenL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Rabinovich09,
author = {Alexander Rabinovich},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Synthesis of Finite-state and Definable Winning Strategies},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {359--370},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2332},
doi = {10.4230/LIPICS.FSTTCS.2009.2332},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Rabinovich09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ravi09,
author = {R. Ravi},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Iterative Methods in Combinatorial Optimization},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {453--469},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2339},
doi = {10.4230/LIPICS.FSTTCS.2009.2339},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ravi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SahaSS09,
author = {Chandan Saha and
Ramprasad Saptharishi and
Nitin Saxena},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {The Power of Depth 2 Circuits over Algebras},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {371--382},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2333},
doi = {10.4230/LIPICS.FSTTCS.2009.2333},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SahaSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/TalyT09,
author = {Ankur Taly and
Ashish Tiwari},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Deductive Verification of Continuous Dynamical Systems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {383--394},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2334},
doi = {10.4230/LIPICS.FSTTCS.2009.2334},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/TalyT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/TracolBG09,
author = {Mathieu Tracol and
Christel Baier and
Marcus Gr{\"{o}}{\ss}er},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Recurrence and Transience for Probabilistic Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {395--406},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2335},
doi = {10.4230/LIPICS.FSTTCS.2009.2335},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/TracolBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Wigderson09,
author = {Avi Wigderson},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Randomness extractors -- applications and constructions},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {471--473},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2340},
doi = {10.4230/LIPICS.FSTTCS.2009.2340},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Wigderson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2009,
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
isbn = {978-3-939897-13-2},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/2009.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-04-23 11:30 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:
