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/fsttcs2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/0001JLMS14,
author = {Laurent Doyen and
Line Juhl and
Kim Guldstrand Larsen and
Nicolas Markey and
Mahsa Shirmohammadi},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Synchronizing Words for Weighted and Timed Automata},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {121--132},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.121},
doi = {10.4230/LIPICS.FSTTCS.2014.121},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/0001JLMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbdullaAKR14,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmet Kara and
Othmane Rezine},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Verification of Dynamic Register Automata},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {653--665},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.653},
doi = {10.4230/LIPICS.FSTTCS.2014.653},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AbdullaAKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlmagorKK14,
author = {Shaull Almagor and
Denis Kuperberg and
Orna Kupferman},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Regular Sensing},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {161--173},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.161},
doi = {10.4230/LIPICS.FSTTCS.2014.161},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlmagorKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AroraCGGS14,
author = {Sonika Arora and
Venkatesan T. Chakaravarthy and
Kanika Gupta and
Neelima Gupta and
Yogish Sabharwal},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Replica Placement on Directed Acyclic Graphs},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {213--225},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.213},
doi = {10.4230/LIPICS.FSTTCS.2014.213},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AroraCGGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AtigBKS14,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
K. Narayan Kumar and
Prakash Saivasan},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {On Bounded Reachability Analysis of Shared Memory Systems},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {611--623},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.611},
doi = {10.4230/LIPICS.FSTTCS.2014.611},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AtigBKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaldanBKK14,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Behavioral Metrics via Functor Lifting},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {403--415},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403},
doi = {10.4230/LIPICS.FSTTCS.2014.403},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaldanBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bansal14,
author = {Nikhil Bansal},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {New Developments in Iterated Rounding (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {1--10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.1},
doi = {10.4230/LIPICS.FSTTCS.2014.1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Bansal14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BasavarajuFGS14,
author = {Manu Basavaraju and
Fedor V. Fomin and
Petr A. Golovach and
Saket Saurabh},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Connecting Vertices by Independent Trees},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {73--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.73},
doi = {10.4230/LIPICS.FSTTCS.2014.73},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BasavarajuFGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BerkholzE14,
author = {Christoph Berkholz and
Michael Elberfeld},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Parameterized Complexity of Fixed Variable Logics},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {109--120},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.109},
doi = {10.4230/LIPICS.FSTTCS.2014.109},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BerkholzE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BertrandHL14,
author = {Nathalie Bertrand and
Serge Haddad and
Engel Lefaucheux},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Foundation of Diagnosis and Predictability in Probabilistic Systems},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {417--429},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.417},
doi = {10.4230/LIPICS.FSTTCS.2014.417},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BertrandHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BiondiLNMW14,
author = {Fabrizio Biondi and
Axel Legay and
Bo Friis Nielsen and
Pasquale Malacaria and
Andrzej Wasowski},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Information Leakage of Non-Terminating Processes},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {517--529},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.517},
doi = {10.4230/LIPICS.FSTTCS.2014.517},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BiondiLNMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BockFMR14,
author = {Adrian Bock and
Yuri Faenza and
Carsten Moldenhauer and
Andres J. Ruiz{-}Vargas},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Solving the Stable Set Problem in Terms of the Odd Cycle Packing Number},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {187--198},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.187},
doi = {10.4230/LIPICS.FSTTCS.2014.187},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BockFMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BolligGK14,
author = {Benedikt Bollig and
Paul Gastin and
Akshay Kumar},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Parameterized Communicating Automata: Complementation and Model Checking},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {625--637},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.625},
doi = {10.4230/LIPICS.FSTTCS.2014.625},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BolligGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouyerMS14,
author = {Patricia Bouyer and
Nicolas Markey and
Daniel Stan},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Mixed Nash Equilibria in Concurrent Terminal-Reward Games},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {351--363},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.351},
doi = {10.4230/LIPICS.FSTTCS.2014.351},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouyerMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CassezMB14,
author = {Franck Cassez and
Christian M{\"{u}}ller and
Karla Burnett},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Summary-Based Inter-Procedural Analysis via Modular Trace Refinement},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {545--556},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.545},
doi = {10.4230/LIPICS.FSTTCS.2014.545},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CassezMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChadhaMS14,
author = {Rohit Chadha and
Umang Mathur and
Stefan Schwoon},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Computing Information Flow Using Symbolic Model-Checking},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {505--516},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.505},
doi = {10.4230/LIPICS.FSTTCS.2014.505},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChadhaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChakrabortyPTVY14,
author = {Diptarka Chakraborty and
Aduri Pavan and
Raghunath Tewari and
N. V. Vinodchandran and
Lin F. Yang},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {New Time-Space Upperbounds for Directed Reachability in High-genus
and H-minor-free Graphs},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {585--595},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.585},
doi = {10.4230/LIPICS.FSTTCS.2014.585},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChakrabortyPTVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChastainLPV14,
author = {Erick Chastain and
Adi Livnat and
Christos H. Papadimitriou and
Umesh V. Vazirani},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Algorithms, Games, and Evolution (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {45--46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.45},
doi = {10.4230/LIPICS.FSTTCS.2014.45},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChastainLPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChenH14,
author = {Taolue Chen and
Tingting Han},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {On the Complexity of Computing Maximum Entropy for Markovian Models},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {571--583},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.571},
doi = {10.4230/LIPICS.FSTTCS.2014.571},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chistikov14,
author = {Dmitry Chistikov},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Notes on Counting with Finite Machines},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {339--350},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.339},
doi = {10.4230/LIPICS.FSTTCS.2014.339},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Chistikov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ColcombetFH14,
author = {Thomas Colcombet and
Nathana{\"{e}}l Fijalkow and
Florian Horn},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Playing Safe},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {379--390},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.379},
doi = {10.4230/LIPICS.FSTTCS.2014.379},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/ColcombetFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ColcombetM14,
author = {Thomas Colcombet and
Amaldev Manuel},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Generalized Data Automata and Fixpoint Logic},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {267--278},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.267},
doi = {10.4230/LIPICS.FSTTCS.2014.267},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ColcombetM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CyriacG14,
author = {C. Aiswarya and
Paul Gastin},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Reasoning About Distributed Systems: {WYSIWYG} (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {11--30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.11},
doi = {10.4230/LIPICS.FSTTCS.2014.11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/CyriacG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DabrowskiGHP14,
author = {Konrad Kazimierz Dabrowski and
Petr A. Golovach and
Pim van 't Hof and
Dani{\"{e}}l Paulusma},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Editing to Eulerian Graphs},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {97--108},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.97},
doi = {10.4230/LIPICS.FSTTCS.2014.97},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DabrowskiGHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DavidFM14,
author = {Claire David and
Nadime Francis and
Filip Murlak},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Consistency of Injective Tree Patterns},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {279--290},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.279},
doi = {10.4230/LIPICS.FSTTCS.2014.279},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DavidFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DhayalSS14,
author = {Anant Dhayal and
Jayalal Sarma and
Saurabh Sawlani},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Polynomial Min/Max-weighted Reachability is in Unambiguous Log-space},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {597--609},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.597},
doi = {10.4230/LIPICS.FSTTCS.2014.597},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DhayalSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DurandMMRS14,
author = {Arnaud Durand and
Meena Mahajan and
Guillaume Malod and
Nicolas de Rugy{-}Altherre and
Nitin Saurabh},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Homomorphism Polynomials Complete for {VP}},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {493--504},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.493},
doi = {10.4230/LIPICS.FSTTCS.2014.493},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DurandMMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGR14,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Finite-Valued Weighted Automata},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {133--145},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.133},
doi = {10.4230/LIPICS.FSTTCS.2014.133},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotKT14,
author = {Emmanuel Filiot and
Shankara Narayanan Krishna and
Ashutosh Trivedi},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {First-order Definable String Transformations},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {147--159},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.147},
doi = {10.4230/LIPICS.FSTTCS.2014.147},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GelmanT14,
author = {Efraim Gelman and
Amnon Ta{-}Shma},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {The Benes Network is q*(q-1)/2n-Almost q-set-wise Independent},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {327--338},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.327},
doi = {10.4230/LIPICS.FSTTCS.2014.327},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GelmanT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GeorgiouL14,
author = {Konstantinos Georgiou and
Edward Lee},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Lift {\&} Project Systems Performing on the Partial Vertex Cover
Polytope},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {199--211},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.199},
doi = {10.4230/LIPICS.FSTTCS.2014.199},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GeorgiouL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GiannopoulouLSS14,
author = {Archontia C. Giannopoulou and
Daniel Lokshtanov and
Saket Saurabh and
Ondrej Such{\'{y}}},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Tree Deletion Set Has a Polynomial Kernel (but no {OPTO(1)} Approximation)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {85--96},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.85},
doi = {10.4230/LIPICS.FSTTCS.2014.85},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GiannopoulouLSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Grohe14,
author = {Martin Grohe},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Colour Refinement: {A} Simple Partitioning Algorithm with Applications
From Graph Isomorphism Testing to Machine Learning (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {31--31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.31},
doi = {10.4230/LIPICS.FSTTCS.2014.31},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Grohe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GrossiMPTV14,
author = {Roberto Grossi and
Giulia Menconi and
Nadia Pisanti and
Roberto Trani and
S{\o}ren Vind},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Output-Sensitive Pattern Extraction in Sequences},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {303--314},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.303},
doi = {10.4230/LIPICS.FSTTCS.2014.303},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GrossiMPTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Gupta14,
author = {Manoj Gupta},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Maintaining Approximate Maximum Matching in an Incremental Bipartite
Graph in Polylogarithmic Update Time},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {227--239},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.227},
doi = {10.4230/LIPICS.FSTTCS.2014.227},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Gupta14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Har-PeledK14,
author = {Sariel Har{-}Peled and
Nirman Kumar},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Robust Proximity Search for Balls Using Sublinear Space},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {315--326},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.315},
doi = {10.4230/LIPICS.FSTTCS.2014.315},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Har-PeledK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HenzingerOS14,
author = {Thomas A. Henzinger and
Jan Otop and
Roopsha Samanta},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Lipschitz Robustness of Finite-state Transducers},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {431--443},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431},
doi = {10.4230/LIPICS.FSTTCS.2014.431},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HenzingerOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HuckeLN14,
author = {Danny Hucke and
Markus Lohrey and
Eric Noeth},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Constructing Small Tree Grammars and Small Circuits for Formulas},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {457--468},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.457},
doi = {10.4230/LIPICS.FSTTCS.2014.457},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HuckeLN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HunterR14,
author = {Paul Hunter and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Quantitative Games with Interval Objectives},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {365--377},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.365},
doi = {10.4230/LIPICS.FSTTCS.2014.365},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HunterR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KeilT14,
author = {Matthias Keil and
Peter Thiemann},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Symbolic Solving of Extended Regular Expression Inequalities},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {175--186},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.175},
doi = {10.4230/LIPICS.FSTTCS.2014.175},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KeilT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KlauckP14,
author = {Hartmut Klauck and
Supartha Podder},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {New Bounds for the Garden-Hose Model},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {481--492},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.481},
doi = {10.4230/LIPICS.FSTTCS.2014.481},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KlauckP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KupfermanT14,
author = {Orna Kupferman and
Tami Tamir},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Properties and Utilization of Capacitated Automata (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {33--44},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.33},
doi = {10.4230/LIPICS.FSTTCS.2014.33},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KupfermanT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MandalPV14,
author = {Debasis Mandal and
Aduri Pavan and
Rajeswari Venugopalan},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Separating Cook Completeness from Karp-Levin Completeness Under a
Worst-Case Hardness Hypothesis},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {445--456},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.445},
doi = {10.4230/LIPICS.FSTTCS.2014.445},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MandalPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MouraKA14,
author = {Fl{\'{a}}vio L. C. de Moura and
Delia Kesner and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Metaconfluence of Calculi with Explicit Substitutions at a Distance},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {391--402},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.391},
doi = {10.4230/LIPICS.FSTTCS.2014.391},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MouraKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MuschollW14,
author = {Anca Muscholl and
Igor Walukiewicz},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Distributed Synthesis for Acyclic Architectures},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {639--651},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.639},
doi = {10.4230/LIPICS.FSTTCS.2014.639},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MuschollW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NavarroRS14,
author = {Gonzalo Navarro and
Rajeev Raman and
Srinivasa Rao Satti},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Asymptotically Optimal Encodings for Range Selection},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {291--301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.291},
doi = {10.4230/LIPICS.FSTTCS.2014.291},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/NavarroRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ODonnellS14,
author = {Ryan O'Donnell and
A. C. Cem Say},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {One Time-traveling Bit is as Good as Logarithmically Many},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {469--480},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.469},
doi = {10.4230/LIPICS.FSTTCS.2014.469},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ODonnellS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PhilipR14,
author = {Geevarghese Philip and
M. S. Ramanujan},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Vertex Exponential Algorithms for Connected f-Factors},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {61--71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.61},
doi = {10.4230/LIPICS.FSTTCS.2014.61},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/PhilipR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RaskinS14,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Multiple-Environment Markov Decision Processes},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {531--543},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.531},
doi = {10.4230/LIPICS.FSTTCS.2014.531},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RaskinS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SongW14,
author = {Fu Song and
Zhilin Wu},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Extending Temporal Logics with Data Variable Quantifications},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {253--265},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.253},
doi = {10.4230/LIPICS.FSTTCS.2014.253},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SongW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SouthernC14,
author = {Mary Southern and
Kaustuv Chaudhuri},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {A Two-Level Logic Approach to Reasoning About Typed Specification
Languages},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {557--569},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.557},
doi = {10.4230/LIPICS.FSTTCS.2014.557},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SouthernC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Torfah014,
author = {Hazem Torfah and
Martin Zimmermann},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {The Complexity of Counting Models of Linear-time Temporal Logic},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {241--252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.241},
doi = {10.4230/LIPICS.FSTTCS.2014.241},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Torfah014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Williams14,
author = {Richard Ryan Williams},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {The Polynomial Method in Circuit Complexity Applied to Algorithm Design
(Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {47--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.47},
doi = {10.4230/LIPICS.FSTTCS.2014.47},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Williams14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/X14,
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.i},
doi = {10.4230/LIPICS.FSTTCS.2014.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/X14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2014,
editor = {Venkatesh Raman and
S. P. Suresh},
title = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-77-4},
isbn = {978-3-939897-77-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/2014.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 15:09 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:
