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/fsttcs2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AminiFS08,
author = {Omid Amini and
Fedor V. Fomin and
Saket Saurabh},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Implicit Branching and Parameterized Partial Cover Problems (Extended
Abstract)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1736},
doi = {10.4230/LIPICS.FSTTCS.2008.1736},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AminiFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Aoto08,
author = {Takahito Aoto},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Sound Lemma Generation for Proving Inductive Validity of Equations},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {13--24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1737},
doi = {10.4230/LIPICS.FSTTCS.2008.1737},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Aoto08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ArvindJ08,
author = {Vikraman Arvind and
Pushkar S. Joglekar},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Some Sieving Algorithms for Lattice Problems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {25--36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1738},
doi = {10.4230/LIPICS.FSTTCS.2008.1738},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ArvindJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AtigBT08,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Tayssir Touili},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Analyzing Asynchronous Programs with Preemption},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {37--48},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1739},
doi = {10.4230/LIPICS.FSTTCS.2008.1739},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AtigBT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BasinKMP08,
author = {David A. Basin and
Felix Klaedtke and
Samuel M{\"{u}}ller and
Birgit Pfitzmann},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Runtime Monitoring of Metric First-order Temporal Properties},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1740},
doi = {10.4230/LIPICS.FSTTCS.2008.1740},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BasinKMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BergerKSV08,
author = {Noam Berger and
Nevin Kapur and
Leonard J. Schulman and
Vijay V. Vazirani},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Solvency Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {61--72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1741},
doi = {10.4230/LIPICS.FSTTCS.2008.1741},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BergerKSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BerwangerD08,
author = {Dietmar Berwanger and
Laurent Doyen},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {On the Power of Imperfect Information},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {73--82},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1742},
doi = {10.4230/LIPICS.FSTTCS.2008.1742},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BerwangerD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Caucal08,
author = {Didier Caucal},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Boolean algebras of unambiguous context-free languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {83--94},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1743},
doi = {10.4230/LIPICS.FSTTCS.2008.1743},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Caucal08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChaillouxK08,
author = {Andr{\'{e}} Chailloux and
Iordanis Kerenidis},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Increasing the power of the verifier in Quantum Zero Knowledge},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {95--106},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1744},
doi = {10.4230/LIPICS.FSTTCS.2008.1744},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChaillouxK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChatterjeeAMR08,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Algorithms for Game Metrics},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {107--118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745},
doi = {10.4230/LIPICS.FSTTCS.2008.1745},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChatterjeeAMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChekuriK08,
author = {Chandra Chekuri and
Nitish Korula},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Pruning 2-Connected Graphs},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {119--130},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1746},
doi = {10.4230/LIPICS.FSTTCS.2008.1746},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChekuriK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChekuriK08a,
author = {Chandra Chekuri and
Nitish Korula},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Single-Sink Network Design with Vertex Connectivity Requirements},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {131--142},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1747},
doi = {10.4230/LIPICS.FSTTCS.2008.1747},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChekuriK08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Comon-Lundh08,
author = {Hubert Comon{-}Lundh},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {About models of security protocols},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {352--356},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1766},
doi = {10.4230/LIPICS.FSTTCS.2008.1766},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Comon-Lundh08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CristauH08,
author = {Julien Cristau and
Florian Horn},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Graph Games on Ordinals},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {143--154},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1748},
doi = {10.4230/LIPICS.FSTTCS.2008.1748},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CristauH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DattaLN08,
author = {Samir Datta and
Nutan Limaye and
Prajakta Nimbhorkar},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {3-connected Planar Graph Isomorphism is in Log-space},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {155--162},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1749},
doi = {10.4230/LIPICS.FSTTCS.2008.1749},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DattaLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DiazKMP08,
author = {Josep D{\'{\i}}az and
Lefteris M. Kirousis and
Dieter Mitsche and
Xavier P{\'{e}}rez{-}Gim{\'{e}}nez},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {A new upper bound for 3-SAT},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {163--174},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1750},
doi = {10.4230/LIPICS.FSTTCS.2008.1750},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DiazKMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DimitrovaF08,
author = {Rayna Dimitrova and
Bernd Finkbeiner},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Abstraction Refinement for Games with Incomplete Information},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {175--186},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1751},
doi = {10.4230/LIPICS.FSTTCS.2008.1751},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DimitrovaF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Feige08,
author = {Uriel Feige},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {On Estimation Algorithms vs Approximation Algorithms},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {357--363},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1767},
doi = {10.4230/LIPICS.FSTTCS.2008.1767},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Feige08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FriezeK08,
author = {Alan M. Frieze and
Ravi Kannan},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {A new approach to the planted clique problem},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {187--198},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1752},
doi = {10.4230/LIPICS.FSTTCS.2008.1752},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FriezeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GolovinGKT08,
author = {Daniel Golovin and
Anupam Gupta and
Amit Kumar and
Kanat Tangwongsan},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {All-Norms and All-L{\_}p-Norms Approximation Algorithms},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {199--210},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1753},
doi = {10.4230/LIPICS.FSTTCS.2008.1753},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GolovinGKT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Gradel08,
author = {Erich Gr{\"{a}}del},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Banach-Mazur Games on Graphs},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {364--382},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1768},
doi = {10.4230/LIPICS.FSTTCS.2008.1768},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Gradel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GulanF08,
author = {Stefan Gulan and
Henning Fernau},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {An Optimal Construction of Finite Automata from Regular Expressions},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {211--222},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1754},
doi = {10.4230/LIPICS.FSTTCS.2008.1754},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GulanF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HariharanMV08,
author = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {2008 Preface - {IARCS} Annual Conference on Foundations of Software
Technology and Theoretical Computer Science},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {i},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1771},
doi = {10.4230/LIPICS.FSTTCS.2008.1771},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HariharanMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HariharanMV08a,
author = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {2008 Abstracts Collection - {IARCS} Annual Conference on Foundations
of Software Technology and Theoretical Computer Science},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1772},
doi = {10.4230/LIPICS.FSTTCS.2008.1772},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HariharanMV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaymanW08,
author = {Jonathan Hayman and
Glynn Winskel},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {The unfolding of general Petri nets},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {223--234},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1755},
doi = {10.4230/LIPICS.FSTTCS.2008.1755},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaymanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Horn08,
author = {Florian Horn},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Explicit Muller Games are {PTIME}},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {235--243},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1756},
doi = {10.4230/LIPICS.FSTTCS.2008.1756},
timestamp = {Sun, 05 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Horn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/InabaM08,
author = {Kazuhiro Inaba and
Sebastian Maneth},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {The Complexity of Tree Transducer Output Languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {244--255},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1757},
doi = {10.4230/LIPICS.FSTTCS.2008.1757},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/InabaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JonesLKC08,
author = {Simon L. Peyton Jones and
Roman Leshchinskiy and
Gabriele Keller and
Manuel M. T. Chakravarty},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Harnessing the Multicores: Nested Data Parallelism in Haskell},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {383--414},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1769},
doi = {10.4230/LIPICS.FSTTCS.2008.1769},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JonesLKC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JurdzinskiT08,
author = {Marcin Jurdzinski and
Ashutosh Trivedi},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Average-Time Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {340--351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1765},
doi = {10.4230/LIPICS.FSTTCS.2008.1765},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/JurdzinskiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KannanKR08,
author = {Sampath Kannan and
Sanjeev Khanna and
Sudeepa Roy},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {{STCON} in Directed Unique-Path Graphs},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {256--267},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1758},
doi = {10.4230/LIPICS.FSTTCS.2008.1758},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KannanKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kavitha08,
author = {Telikepalli Kavitha},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Dynamic matrix rank with partial lookahead},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {268--279},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1759},
doi = {10.4230/LIPICS.FSTTCS.2008.1759},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Kavitha08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KomusiewiczU08,
author = {Christian Komusiewicz and
Johannes Uhlmann},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {A Cubic-Vertex Kernel for Flip Consensus Tree},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {280--291},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1760},
doi = {10.4230/LIPICS.FSTTCS.2008.1760},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KomusiewiczU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Lohrey08,
author = {Markus Lohrey},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Leaf languages and string compression},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {292--303},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1761},
doi = {10.4230/LIPICS.FSTTCS.2008.1761},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Lohrey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MarionP08,
author = {Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Analyzing the Implicit Computational Complexity of object-oriented
programs},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {316--327},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1763},
doi = {10.4230/LIPICS.FSTTCS.2008.1763},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MarionP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MoserSW08,
author = {Georg Moser and
Andreas Schnabl and
Johannes Waldmann},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Complexity Analysis of Term Rewriting Based on Matrix and Context
Dependent Interpretations},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {304--315},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1762},
doi = {10.4230/LIPICS.FSTTCS.2008.1762},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MoserSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Rodriguez-Hortala08,
author = {Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {328--339},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1764},
doi = {10.4230/LIPICS.FSTTCS.2008.1764},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Rodriguez-Hortala08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Valiant08,
author = {Leslie G. Valiant},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {415--422},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1770},
doi = {10.4230/LIPICS.FSTTCS.2008.1770},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Valiant08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2008,
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/2008.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-05 02:11 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:
