default search action
Search dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs2006.bht:"
@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} }
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.