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/fsttcs2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AgarwalCSS06,
author = {Pankaj K. Agarwal and
Sergio Cabello and
Joan Antoni Sellar{\`{e}}s and
Micha Sharir},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Computing a Center-Transversal Line},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {93--104},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_11},
doi = {10.1007/11944836\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AgarwalCSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlarconGL06,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Context-Sensitive Dependency Pairs},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {297--308},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_28},
doi = {10.1007/11944836\_28},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlarconGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlurC06,
author = {Rajeev Alur and
Swarat Chaudhuri},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Branching Pushdown Tree Automata},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {393--404},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_36},
doi = {10.1007/11944836\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlurC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BauerLS06,
author = {Andreas Bauer and
Martin Leucker and
Christian Schallhart},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Monitoring of Real-Time Properties},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {260--272},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_25},
doi = {10.1007/11944836\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BauerLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BeckerRR06,
author = {Florent Becker and
Ivan Rapaport and
Eric R{\'{e}}mila},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Self-assemblying Classes of Shapes with a Minimum Number of Tiles,
and in Optimal Time},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {45--56},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_7},
doi = {10.1007/11944836\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BeckerRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BekosKPS06,
author = {Michael A. Bekos and
Michael Kaufmann and
Katerina Potika and
Antonios Symvonis},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Multi-stack Boundary Labeling Problems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {81--92},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_10},
doi = {10.1007/11944836\_10},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BekosKPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Boudol06,
author = {G{\'{e}}rard Boudol},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Shared-Variable Concurrency: {A} Proposal},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {1--3},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_1},
doi = {10.1007/11944836\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Boudol06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouyerLMR06,
author = {Patricia Bouyer and
Kim Guldstrand Larsen and
Nicolas Markey and
Jacob Illum Rasmussen},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Almost Optimal Strategies in One Clock Priced Timed Games},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {345--356},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_32},
doi = {10.1007/11944836\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouyerLMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliKRS06,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Decidability of {LTL} Model Checking for Process Rewrite Systems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {248--259},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_24},
doi = {10.1007/11944836\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliKRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Cachat06,
author = {Thierry Cachat},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Tree Automata Make Ordinal Theory Easy},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {285--296},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_27},
doi = {10.1007/11944836\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Cachat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CalinescuP06,
author = {Gruia C{\u{a}}linescu and
Michael J. Pelsmajer},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {117--128},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_13},
doi = {10.1007/11944836\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CalinescuP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChakrabortyD06,
author = {Tanmoy Chakraborty and
Samir Datta},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {One-Input-Face {MPCVP} Is Hard for L, But in LogDCFL},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {57--68},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_8},
doi = {10.1007/11944836\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChakrabortyD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChakrabortyRRS06,
author = {Sourav Chakraborty and
Jaikumar Radhakrishnan and
Nandakumar Raghunathan and
Prashant Sasatte},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Zero Error List-Decoding Capacity of the \emph{q}/(\emph{q}-1) Channel},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {129--138},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_14},
doi = {10.1007/11944836\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChakrabortyRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChevalierDP06,
author = {Fabrice Chevalier and
Deepak D'Souza and
Pavithra Prabhakar},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Continuous Timed Automata with Input-Determined Guards},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {369--380},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_34},
doi = {10.1007/11944836\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChevalierDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CortierKKW06,
author = {V{\'{e}}ronique Cortier and
Steve Kremer and
Ralf K{\"{u}}sters and
Bogdan Warinschi},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Computationally Sound Symbolic Secrecy in the Presence of Hash Functions},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {176--187},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_18},
doi = {10.1007/11944836\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CortierKKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DaxHL06,
author = {Christian Dax and
Martin Hofmann and
Martin Lange},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {A Proof System for the Linear Time {\(\mathrm{\mu}\)}-Calculus},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {273--284},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_26},
doi = {10.1007/11944836\_26},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DaxHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DesharnaisLZ06,
author = {Jos{\'{e}}e Desharnais and
Fran{\c{c}}ois Laviolette and
Sami Zhioua},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Testing Probabilistic Equivalence Through Reinforcement Learning},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {236--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_23},
doi = {10.1007/11944836\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DesharnaisLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DeyS06,
author = {Tamal K. Dey and
Jian Sun},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Normal and Feature Approximations from Noisy Point Clouds},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {21--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_5},
doi = {10.1007/11944836\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DeyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DoerrK06,
author = {Benjamin Doerr and
Christian Klein},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Unbiased Rounding of Rational Matrices},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {200--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_20},
doi = {10.1007/11944836\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DoerrK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FominGK06,
author = {Fedor V. Fomin and
Fabrizio Grandoni and
Dieter Kratsch},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Solving Connected Dominating Set Faster Than 2\({}^{\mbox{\emph{n}}}\)},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {152--163},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_16},
doi = {10.1007/11944836\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FominGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GalmicheL06,
author = {Didier Galmiche and
Dominique Larchey{-}Wendling},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Expressivity Properties of Boolean},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {357--368},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_33},
doi = {10.1007/11944836\_33},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GalmicheL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GastinSZ06,
author = {Paul Gastin and
Nathalie Sznajder and
Marc Zeitoun},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Distributed Synthesis for Well-Connected Architectures},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {321--332},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_30},
doi = {10.1007/11944836\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GastinSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GrosserNBCKP06,
author = {Marcus Gr{\"{o}}{\ss}er and
Gethin Norman and
Christel Baier and
Frank Ciesinski and
Marta Z. Kwiatkowska and
David Parker},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Reduction Criteria for Probabilistic Reward Models},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {309--320},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_29},
doi = {10.1007/11944836\_29},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GrosserNBCKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GuptaRS06,
author = {Sushmita Gupta and
Venkatesh Raman and
Saket Saurabh},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Fast Exponential Algorithms for Maximum \emph{r}-Regular Induced Subgraph
Problems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {139--151},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_15},
doi = {10.1007/11944836\_15},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GuptaRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Har-Peled06,
author = {Sariel Har{-}Peled},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Coresets for Discrete Integration and Clustering},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {33--44},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_6},
doi = {10.1007/11944836\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Har-Peled06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HarmerL06,
author = {Russell Harmer and
Olivier Laurent},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {The Anatomy of Innocence Revisited},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {224--235},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_22},
doi = {10.1007/11944836\_22},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/HarmerL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Hsieh06,
author = {Sun{-}Yuan Hsieh},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Linear-Time Algorithms for Two Subtree-Comparison Problems on Phylogenetic
Trees with Different Species},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {164--175},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_17},
doi = {10.1007/11944836\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Hsieh06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KalyanaramanU06,
author = {Shankar Kalyanaraman and
Christopher Umans},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Obtaining Pseudorandomness from Error-Correcting Codes},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {105--116},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_12},
doi = {10.1007/11944836\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KalyanaramanU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KrishnanC06,
author = {K. Murali Krishnan and
L. Sunil Chandran},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Hardness of Approximation Results for the Problem of Finding the Stopping
Distance in Tanner Graphs},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {69--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_9},
doi = {10.1007/11944836\_9},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KrishnanC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Laird06,
author = {James Laird},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Game Semantics for Higher-Order Concurrency},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {417--428},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_38},
doi = {10.1007/11944836\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Laird06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Lazic06,
author = {Ranko Lazic},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Safely Freezing {LTL}},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {381--392},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_35},
doi = {10.1007/11944836\_35},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Lazic06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MousaviPRU06,
author = {Mohammad Reza Mousavi and
Iain C. C. Phillips and
Michel A. Reniers and
Irek Ulidowski},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {The Meaning of Ordered {SOS}},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {333--344},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_31},
doi = {10.1007/11944836\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/MousaviPRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PavanSV06,
author = {Aduri Pavan and
Rahul Santhanam and
N. V. Vinodchandran},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Some Results on Average-Case Hardness Within the Polynomial Hierarchy},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {188--199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_19},
doi = {10.1007/11944836\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PavanSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Plotkin06,
author = {Gordon D. Plotkin},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Hennessy-Plotkin-Brookes Revisited},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {4},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_2},
doi = {10.1007/11944836\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Plotkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SwamyS06,
author = {Chaitanya Swamy and
David B. Shmoys},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Approximation Algorithms for 2-Stage Stochastic Optimization Problems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {5--19},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_3},
doi = {10.1007/11944836\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SwamyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ummels06,
author = {Michael Ummels},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Rational Behaviour and Strategy Construction in Infinite Multiplayer
Games},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {212--223},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_21},
doi = {10.1007/11944836\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ummels06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/WassermannS06,
author = {Gary Wassermann and
Zhendong Su},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Validity Checking for Finite Automata over Linear Arithmetic Constraints},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {405--416},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_37},
doi = {10.1007/11944836\_37},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/WassermannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Welzl06,
author = {Emo Welzl},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {The Number of Crossing Free Configurations on Finite Point Sets in
the Plane},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_4},
doi = {10.1007/11944836\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Welzl06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2006,
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836},
doi = {10.1007/11944836},
isbn = {3-540-49994-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2006.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-24 14:06 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:
