default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsttcs/AbdullaMM04,
author = {Parosh Aziz Abdulla and
Pritha Mahata and
Richard Mayr},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Decidability of Zenoness, Syntactic Boundedness and Token-Liveness
for Dense-Timed Petri Nets},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {58--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_6},
doi = {10.1007/978-3-540-30538-5\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AbdullaMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AdelaideP04,
author = {Micha{\"{e}}l Ad{\'{e}}la{\"{\i}}de and
Claire Pagetti},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Urgency Expressiveness},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {71--83},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_7},
doi = {10.1007/978-3-540-30538-5\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AdelaideP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AdsulS04,
author = {Bharat Adsul and
Milind A. Sohoni},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Asynchronous Automata-Theoretic Characterization of Aperiodic Trace
Languages},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {84--96},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_8},
doi = {10.1007/978-3-540-30538-5\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AdsulS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlekseyevP04,
author = {Max A. Alekseyev and
Pavel A. Pevzner},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Genome Halving Problem Revisited},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_1},
doi = {10.1007/978-3-540-30538-5\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlekseyevP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BerdineCO04,
author = {Josh Berdine and
Cristiano Calcagno and
Peter W. O'Hearn},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {A Decidable Fragment of Separation Logic},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {97--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_9},
doi = {10.1007/978-3-540-30538-5\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BerdineCO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BergS04,
author = {Mark de Berg and
Micha Streppel},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Approximate Range Searching Using Binary Space Partitions},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {110--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_10},
doi = {10.1007/978-3-540-30538-5\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BergS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Beyersdorff04,
author = {Olaf Beyersdorff},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Representable Disjoint NP-Pairs},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {122--134},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_11},
doi = {10.1007/978-3-540-30538-5\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Beyersdorff04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouajjaniM04,
author = {Ahmed Bouajjani and
Antoine Meyer},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Symbolic Reachability Analysis of Higher-Order Context-Free Processes},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {135--147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_12},
doi = {10.1007/978-3-540-30538-5\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouajjaniM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouyerCFL04,
author = {Patricia Bouyer and
Franck Cassez and
Emmanuel Fleury and
Kim Guldstrand Larsen},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Optimal Strategies in Priced Timed Game Automata},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {148--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_13},
doi = {10.1007/978-3-540-30538-5\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouyerCFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CarboneNS04,
author = {Marco Carbone and
Mogens Nielsen and
Vladimiro Sassone},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {A Calculus for Trust Management},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {161--173},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_14},
doi = {10.1007/978-3-540-30538-5\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CarboneNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChandruHK04,
author = {Vijay Chandru and
Ramesh Hariharan and
Narasimha M. Krishnakumar},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Short-Cuts on Star, Source and Planar Unfoldings},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {174--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_15},
doi = {10.1007/978-3-540-30538-5\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChandruHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChengT04,
author = {Ho{-}Lun Cheng and
Tony Tan},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Subdividing Alpha Complex},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {186--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_16},
doi = {10.1007/978-3-540-30538-5\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ChengT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DangIPX04,
author = {Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro} and
Gaoyan Xie},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Real-Counter Automata and Their Decision Problems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {198--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_17},
doi = {10.1007/978-3-540-30538-5\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DangIPX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarGG04,
author = {Anuj Dawar and
Philippa Gardner and
Giorgio Ghelli},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Adjunct Elimination Through Games in Static Ambient Logic},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {211--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_18},
doi = {10.1007/978-3-540-30538-5\_18},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarGG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarJ04,
author = {Anuj Dawar and
David Janin},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Bisimulation Invariant Fragment of Monadic {S1} in the Finite},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {224--236},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_19},
doi = {10.1007/978-3-540-30538-5\_19},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DevanurLV04,
author = {Nikhil R. Devanur and
Richard J. Lipton and
Nisheeth K. Vishnoi},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Complexity of Hilbert's 17th Problem},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {237--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_20},
doi = {10.1007/978-3-540-30538-5\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DevanurLV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DistefanoKR04,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Who is Pointing When to Whom?},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {250--262},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_21},
doi = {10.1007/978-3-540-30538-5\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DistefanoKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsparzaE04,
author = {Javier Esparza and
Kousha Etessami},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Verifying Probabilistic Procedural Programs},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {16--31},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_2},
doi = {10.1007/978-3-540-30538-5\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EsparzaE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FurerK04,
author = {Martin F{\"{u}}rer and
Shiva Prasad Kasiviswanathan},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {An Almost Linear Time Approximation Algorithm for the Permanen of
a Random {(0-1)} Matrix},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {263--274},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_22},
doi = {10.1007/978-3-540-30538-5\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FurerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GastinLZ04,
author = {Paul Gastin and
Benjamin Lerman and
Marc Zeitoun},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Distributed Games with Causal Memory Are Decidable for Series-Parallel
Systems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {275--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_23},
doi = {10.1007/978-3-540-30538-5\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GastinLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GeeraertsRB04,
author = {Gilles Geeraerts and
Jean{-}Fran{\c{c}}ois Raskin and
Laurent Van Begin},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Expand, Enlarge, and Check: New Algorithms for the Coverability Problem
of {WSTS}},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {287--298},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_24},
doi = {10.1007/978-3-540-30538-5\_24},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GeeraertsRB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GudmundssonL04,
author = {Joachim Gudmundsson and
Christos Levcopoulos},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Minimum Weight Pseudo-Triangulations},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {299--310},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_25},
doi = {10.1007/978-3-540-30538-5\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GudmundssonL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GulwaniTN04,
author = {Sumit Gulwani and
Ashish Tiwari and
George C. Necula},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Join Algorithms for the Theory of Uninterpreted Functions},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {311--323},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_26},
doi = {10.1007/978-3-540-30538-5\_26},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GulwaniTN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Har-Peled04,
author = {Sariel Har{-}Peled},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {No, Coreset, No Cry},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {324--335},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_27},
doi = {10.1007/978-3-540-30538-5\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Har-Peled04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HitchcockP04,
author = {John M. Hitchcock and
Aduri Pavan},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Hardness Hypotheses, Derandomization, and Circuit Complexity},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {336--347},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_28},
doi = {10.1007/978-3-540-30538-5\_28},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HitchcockP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Indyk04,
author = {Piotr Indyk},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Streaming Algorithms for Geometric Problems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {32--34},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_3},
doi = {10.1007/978-3-540-30538-5\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Indyk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JagerS04,
author = {Gerold J{\"{a}}ger and
Anand Srivastav},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Improved Approximation Algorithms for Maximum Graph Partitioning Problems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {348--359},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_29},
doi = {10.1007/978-3-540-30538-5\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JagerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JainK04,
author = {Sanjay Jain and
Efim B. Kinber},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Learning Languages from Positive Data and a Finite Number of Queries},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {360--371},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_30},
doi = {10.1007/978-3-540-30538-5\_30},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/JainK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KempeKR04,
author = {Julia Kempe and
Alexei Y. Kitaev and
Oded Regev},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {The Complexity of the Local Hamiltonian Problem},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {372--383},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_31},
doi = {10.1007/978-3-540-30538-5\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KempeKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Klauck04,
author = {Hartmut Klauck},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Quantum and Classical Communication-Space Tradeoffs from Rectangle
Bounds},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {384--395},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_32},
doi = {10.1007/978-3-540-30538-5\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Klauck04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KuttenP04,
author = {Shay Kutten and
Boaz Patt{-}Shamir},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Adaptive Stabilization of Reactive Protocols},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {396--407},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_33},
doi = {10.1007/978-3-540-30538-5\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KuttenP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LodingMS04,
author = {Christof L{\"{o}}ding and
P. Madhusudan and
Olivier Serre},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Visibly Pushdown Games},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {408--420},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_34},
doi = {10.1007/978-3-540-30538-5\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LodingMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MijajlovicTO04,
author = {Ivana Mijajlovic and
Noah Torp{-}Smith and
Peter W. O'Hearn},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Refinement and Separation Contexts},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {421--433},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_35},
doi = {10.1007/978-3-540-30538-5\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MijajlovicTO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MontanariP04,
author = {Angelo Montanari and
Gabriele Puppis},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Decidability of {MSO} Theories of Tree Structures},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {434--446},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_36},
doi = {10.1007/978-3-540-30538-5\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MontanariP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ParthasarathyG04,
author = {Srinivasan Parthasarathy and
Rajiv Gandhi},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Distributed Algorithms for Coloring and Domination in Wireless Ad
Hoc Networks},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {447--459},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_37},
doi = {10.1007/978-3-540-30538-5\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ParthasarathyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PonnuswamiV04,
author = {Ashok Kumar Ponnuswami and
H. Venkateswaran},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Monotone Multilinear Boolean Circuits for Bipartite Perfect Matching
Require Exponential Size},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {460--468},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_38},
doi = {10.1007/978-3-540-30538-5\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PonnuswamiV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RademacherV04,
author = {Luis Rademacher and
Santosh S. Vempala},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Testing Geometric Convexity},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {469--480},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_39},
doi = {10.1007/978-3-540-30538-5\_39},
timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RademacherV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Reynolds04,
author = {John C. Reynolds},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Toward a Grainless Semantics for Shared-Variable Concurrency},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {35--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_4},
doi = {10.1007/978-3-540-30538-5\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Reynolds04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ThakurT04,
author = {Mayur Thakur and
Rahul Tripathi},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Complexity of Linear Connectivity Problems in Directed Hypergraphs},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {481--493},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_40},
doi = {10.1007/978-3-540-30538-5\_40},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ThakurT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Therien04,
author = {Denis Th{\'{e}}rien},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Regular Languages, Unambiguous Concatenation and Computational Complexity},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {49--57},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_5},
doi = {10.1007/978-3-540-30538-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Therien04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VardhanSVA04,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Actively Learning to Verify Safety for {FIFO} Automata},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {494--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_41},
doi = {10.1007/978-3-540-30538-5\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VardhanSVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Venkatesh04,
author = {G. Venkatesh},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Reasoning About Game Equilibria Using Temporal Logic},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {506--517},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_42},
doi = {10.1007/978-3-540-30538-5\_42},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Venkatesh04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Verma04,
author = {Kumar Neeraj Verma},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Alternation in Equational Tree Automata Modulo {XOR}},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {518--530},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_43},
doi = {10.1007/978-3-540-30538-5\_43},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Verma04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2004,
editor = {Kamal Lodaya and
Meena Mahajan},
title = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b104325},
doi = {10.1007/B104325},
isbn = {3-540-24058-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2004.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.
retrieved on 2024-09-25 12:08 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:
