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/fsttcs2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AkshayBG07,
author = {S. Akshay and
Benedikt Bollig and
Paul Gastin},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Automata and Logics for Timed Message Sequence Charts},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {290--302},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_24},
doi = {10.1007/978-3-540-77050-3\_24},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AkshayBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlonFGKS07,
author = {Noga Alon and
Fedor V. Fomin and
Gregory Z. Gutin and
Michael Krivelevich and
Saket Saurabh},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Better Algorithms and Bounds for Directed Maximum Leaf Problems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {316--327},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_26},
doi = {10.1007/978-3-540-77050-3\_26},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlonFGKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ArapinisD07,
author = {Myrto Arapinis and
Marie Duflot},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Bounding Messages for Free in Security Protocols},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {376--387},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_31},
doi = {10.1007/978-3-540-77050-3\_31},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ArapinisD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BackesDK07,
author = {Michael Backes and
Markus D{\"{u}}rmuth and
Ralf K{\"{u}}sters},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {108--120},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_9},
doi = {10.1007/978-3-540-77050-3\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BackesDK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaierBBBG07,
author = {Christel Baier and
Nathalie Bertrand and
Patricia Bouyer and
Thomas Brihaye and
Marcus Gr{\"{o}}{\ss}er},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Probabilistic and Topological Semantics for Timed Automata},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {179--191},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_15},
doi = {10.1007/978-3-540-77050-3\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaierBBBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaudruM07,
author = {Nicolas Baudru and
R{\'{e}}mi Morin},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Synthesis of Safe Message-Passing Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {277--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_23},
doi = {10.1007/978-3-540-77050-3\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaudruM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BelkhirS07,
author = {Walid Belkhir and
Luigi Santocanale},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Undirected Graphs of Entanglement 2},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {508--519},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_42},
doi = {10.1007/978-3-540-77050-3\_42},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BelkhirS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BenediktJ07,
author = {Michael Benedikt and
Alan Jeffrey},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Efficient and Expressive Tree Filters},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {461--472},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_38},
doi = {10.1007/978-3-540-77050-3\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BenediktJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Beyersdorff07,
author = {Olaf Beyersdorff},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {The Deduction Theorem for Strong Propositional Proof Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {241--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_20},
doi = {10.1007/978-3-540-77050-3\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Beyersdorff07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BiedlHL07,
author = {Therese C. Biedl and
Masud Hasan and
Alejandro L{\'{o}}pez{-}Ortiz},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts
in Orthogonal Projections},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {400--411},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_33},
doi = {10.1007/978-3-540-77050-3\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BiedlHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BolligKM07,
author = {Benedikt Bollig and
Dietrich Kuske and
Ingmar Meinecke},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Propositional Dynamic Logic for Message-Passing Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {303--315},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_25},
doi = {10.1007/978-3-540-77050-3\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BolligKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrevilliersCS07,
author = {Mathieu Br{\'{e}}villiers and
Nicolas Chevallier and
Dominique Schmitt},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Triangulations of Line Segment Sets in the Plane},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {388--399},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_32},
doi = {10.1007/978-3-540-77050-3\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrevilliersCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChambartS07,
author = {Pierre Chambart and
Philippe Schnoebelen},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Post Embedding Problem Is Not Primitive Recursive, with Applications
to Channel Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {265--276},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_22},
doi = {10.1007/978-3-540-77050-3\_22},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/ChambartS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chatterjee07,
author = {Krishnendu Chatterjee},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Stochastic M{\"{u}}ller Games are PSPACE-Complete},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {436--448},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_36},
doi = {10.1007/978-3-540-77050-3\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Chatterjee07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chatterjee07a,
author = {Krishnendu Chatterjee},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Markov Decision Processes with Multiple Long-Run Average Objectives},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {473--484},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_39},
doi = {10.1007/978-3-540-77050-3\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Chatterjee07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChevalierK07,
author = {Yannick Chevalier and
Mounira Kourjieh},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Key Substitution in the Symbolic Analysis of Cryptographic Protocols},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {121--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_10},
doi = {10.1007/978-3-540-77050-3\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChevalierK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CortierDD07,
author = {V{\'{e}}ronique Cortier and
J{\'{e}}r{\'{e}}mie Delaitre and
St{\'{e}}phanie Delaune},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Safely Composing Security Protocols},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {352--363},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_29},
doi = {10.1007/978-3-540-77050-3\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CortierDD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CourantEL07,
author = {Judica{\"{e}}l Courant and
Cristian Ene and
Yassine Lakhnech},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Computationally Sound Typing for Non-interference: The Case of Deterministic
Encryption},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {364--375},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_30},
doi = {10.1007/978-3-540-77050-3\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CourantEL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DelauneKR07,
author = {St{\'{e}}phanie Delaune and
Steve Kremer and
Mark Ryan},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Symbolic Bisimulation for the Applied Pi Calculus},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {133--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_11},
doi = {10.1007/978-3-540-77050-3\_11},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DelauneKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FleischnerMPS07,
author = {Herbert Fleischner and
Egbert Mujuni and
Dani{\"{e}}l Paulusma and
Stefan Szeider},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Covering Graphs with Few Complete Bipartite Subgraphs},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {340--351},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_28},
doi = {10.1007/978-3-540-77050-3\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FleischnerMPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FukunagaHN07,
author = {Takuro Fukunaga and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Hiroshi Nagamochi},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {"Rent-or-Buy" Scheduling and Cost Coloring Problems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {84--95},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_7},
doi = {10.1007/978-3-540-77050-3\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FukunagaHN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GargKP07,
author = {Naveen Garg and
Amit Kumar and
Vinayaka Pandit},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Order Scheduling Models: Hardness and Algorithms},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {96--107},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_8},
doi = {10.1007/978-3-540-77050-3\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GargKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GlasserRTW07,
author = {Christian Gla{\ss}er and
Christian Reitwie{\ss}ner and
Stephen D. Travers and
Matthias Waldherr},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Satisfiability of Algebraic Circuits over Sets of Natural Numbers},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {253--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_21},
doi = {10.1007/978-3-540-77050-3\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GlasserRTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GlasserSTZ07,
author = {Christian Gla{\ss}er and
Alan L. Selman and
Stephen D. Travers and
Liyu Zhang},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Non-mitotic Sets},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {146--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_12},
doi = {10.1007/978-3-540-77050-3\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GlasserSTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaemmerleFS07,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Closures and Modules Within Linear Logic Concurrent Constraint Programming},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {544--556},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_45},
doi = {10.1007/978-3-540-77050-3\_45},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaemmerleFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HarkinsHP07,
author = {Ryan C. Harkins and
John M. Hitchcock and
Aduri Pavan},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Strong Reductions and Isomorphism of Complete Sets},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {168--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_14},
doi = {10.1007/978-3-540-77050-3\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HarkinsHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Herlihy07,
author = {Maurice Herlihy},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {The Multicore Revolution},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {1--8},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_1},
doi = {10.1007/978-3-540-77050-3\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Herlihy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HirschowitzHH07,
author = {Michel Hirschowitz and
Andr{\'{e}} Hirschowitz and
Tom Hirschowitz},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {A Theory for Game Theories},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {192--203},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_16},
doi = {10.1007/978-3-540-77050-3\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HirschowitzHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/InkuluK07,
author = {Rajasekhar Inkulu and
Sanjiv Kapoor},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Finding a Rectilinear Shortest Path in R\({}^{\mbox{2}}\) Using Corridor
Based Staircase Structures},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {412--423},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_34},
doi = {10.1007/978-3-540-77050-3\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/InkuluK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JakobyT07,
author = {Andreas Jakoby and
Till Tantau},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel
Graphs},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {216--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_18},
doi = {10.1007/978-3-540-77050-3\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JakobyT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JanssonSS07,
author = {Jesper Jansson and
Kunihiko Sadakane and
Wing{-}Kin Sung},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Compressed Dynamic Tries with Applications to LZ-Compression in Sublinear
Time and Space},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {424--435},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_35},
doi = {10.1007/978-3-540-77050-3\_35},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JanssonSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Karp07,
author = {Richard M. Karp},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Streaming Algorithms for Selection and Approximate Sorting},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {9--20},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_2},
doi = {10.1007/978-3-540-77050-3\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Karp07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kavitha07,
author = {Telikepalli Kavitha},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Faster Algorithms for All-Pairs Small Stretch Distances in Weighted
Graphs},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {328--339},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_27},
doi = {10.1007/978-3-540-77050-3\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Kavitha07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KhannaKP07,
author = {Sanjeev Khanna and
Keshav Kunal and
Benjamin C. Pierce},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {A Formal Investigation of},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {485--496},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_40},
doi = {10.1007/978-3-540-77050-3\_40},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KhannaKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KumarS07,
author = {Amit Kumar and
Yogish Sabharwal},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {The Priority \emph{k}-Median Problem},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {71--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_6},
doi = {10.1007/978-3-540-77050-3\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KumarS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KumarS07a,
author = {Ravi Kumar and
D. Sivakumar},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Communication Lower Bounds Via the Chromatic Number},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {228--240},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_19},
doi = {10.1007/978-3-540-77050-3\_19},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KumarS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LerouxS07,
author = {J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Acceleration in Convex Data-Flow Analysis},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {520--531},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_43},
doi = {10.1007/978-3-540-77050-3\_43},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LerouxS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Pierce07,
author = {Benjamin C. Pierce},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Adventures in Bidirectional Programming},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {21--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_3},
doi = {10.1007/978-3-540-77050-3\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Pierce07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RepsLK07,
author = {Thomas W. Reps and
Akash Lal and
Nicholas Kidd},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Program Analysis Using Weighted Pushdown Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {23--51},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_4},
doi = {10.1007/978-3-540-77050-3\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RepsLK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Saha07,
author = {Diptikalyan Saha},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {An Incremental Bisimulation Algorithm},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {204--215},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_17},
doi = {10.1007/978-3-540-77050-3\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Saha07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Schewe07,
author = {Sven Schewe},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Solving Parity Games in Big Steps},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {449--460},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_37},
doi = {10.1007/978-3-540-77050-3\_37},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Schewe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SchmalzVV07,
author = {Matthias Schmalz and
Hagen V{\"{o}}lzer and
Daniele Varacca},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Model Checking Almost All Paths Can Be Less Expensive Than Checking
All Paths},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {532--543},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_44},
doi = {10.1007/978-3-540-77050-3\_44},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SchmalzVV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SrivastavW07,
author = {Anand Srivastav and
S{\"{o}}ren Werth},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Probabilistic Analysis of the Degree Bounded Minimum Spanning Tree
Problem},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {497--507},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_41},
doi = {10.1007/978-3-540-77050-3\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SrivastavW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Toran07,
author = {Jacobo Tor{\'{a}}n},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Reductions to Graph Isomorphism},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {158--167},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_13},
doi = {10.1007/978-3-540-77050-3\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Toran07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Vadhan07,
author = {Salil P. Vadhan},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {The Complexity of Zero Knowledge},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {52--70},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_5},
doi = {10.1007/978-3-540-77050-3\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Vadhan07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2007,
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3},
doi = {10.1007/978-3-540-77050-3},
isbn = {978-3-540-77049-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-30 14:21 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:
