Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Manas Joglekar
@article{DBLP:journals/corr/abs-2312-09390, author = {Collin Burns and Pavel Izmailov and Jan Hendrik Kirchner and Bowen Baker and Leo Gao and Leopold Aschenbrenner and Yining Chen and Adrien Ecoffet and Manas Joglekar and Jan Leike and Ilya Sutskever and Jeff Wu}, title = {Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision}, journal = {CoRR}, volume = {abs/2312.09390}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.09390}, doi = {10.48550/ARXIV.2312.09390}, eprinttype = {arXiv}, eprint = {2312.09390}, timestamp = {Tue, 09 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-09390.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kdd/JoglekarLCXWAKL20, author = {Manas R. Joglekar and Cong Li and Mei Chen and Taibai Xu and Xiaoming Wang and Jay K. Adams and Pranav Khaitan and Jiahui Liu and Quoc V. Le}, editor = {Rajesh Gupta and Yan Liu and Jiliang Tang and B. Aditya Prakash}, title = {Neural Input Search for Large Scale Recommendation Models}, booktitle = {{KDD} '20: The 26th {ACM} {SIGKDD} Conference on Knowledge Discovery and Data Mining, Virtual Event, CA, USA, August 23-27, 2020}, pages = {2387--2397}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3394486.3403288}, doi = {10.1145/3394486.3403288}, timestamp = {Tue, 09 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kdd/JoglekarLCXWAKL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/JoglekarGP19, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Interactive Data Exploration with Smart Drill-Down}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {31}, number = {1}, pages = {46--60}, year = {2019}, url = {https://doi.org/10.1109/TKDE.2017.2685998}, doi = {10.1109/TKDE.2017.2685998}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/JoglekarGP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-04471, author = {Manas R. Joglekar and Cong Li and Jay K. Adams and Pranav Khaitan and Quoc V. Le}, title = {Neural Input Search for Large Scale Recommendation Models}, journal = {CoRR}, volume = {abs/1907.04471}, year = {2019}, url = {http://arxiv.org/abs/1907.04471}, eprinttype = {arXiv}, eprint = {1907.04471}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-04471.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/JoglekarR18, author = {Manas Joglekar and Christopher R{\'{e}}}, title = {It's All a Matter of Degree - Using Degree Information to Optimize Multiway Joins}, journal = {Theory Comput. Syst.}, volume = {62}, number = {4}, pages = {810--853}, year = {2018}, url = {https://doi.org/10.1007/s00224-017-9811-8}, doi = {10.1007/S00224-017-9811-8}, timestamp = {Fri, 13 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/JoglekarR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/AmmarMSJ18, author = {Khaled Ammar and Frank McSherry and Semih Salihoglu and Manas Joglekar}, title = {Distributed Evaluation of Subgraph Queries Using Worst-case Optimal and Low-Memory Dataflows}, journal = {Proc. {VLDB} Endow.}, volume = {11}, number = {6}, pages = {691--704}, year = {2018}, url = {http://www.vldb.org/pvldb/vol11/p691-ammar.pdf}, doi = {10.14778/3184470.3184473}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/AmmarMSJ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-03760, author = {Khaled Ammar and Frank McSherry and Semih Salihoglu and Manas Joglekar}, title = {Distributed Evaluation of Subgraph Queries Using Worstcase Optimal LowMemory Dataflows}, journal = {CoRR}, volume = {abs/1802.03760}, year = {2018}, url = {http://arxiv.org/abs/1802.03760}, eprinttype = {arXiv}, eprint = {1802.03760}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-03760.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/AfratiJRSU17, author = {Foto N. Afrati and Manas R. Joglekar and Christopher R{\'{e}} and Semih Salihoglu and Jeffrey D. Ullman}, editor = {Michael Benedikt and Giorgio Orsi}, title = {{GYM:} {A} Multiround Distributed Join Algorithm}, booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March 21-24, 2017, Venice, Italy}, series = {LIPIcs}, volume = {68}, pages = {4:1--4:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.4}, doi = {10.4230/LIPICS.ICDT.2017.4}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/AfratiJRSU17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/RekatsinasJGPR17, author = {Theodoros Rekatsinas and Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran and Christopher R{\'{e}}}, editor = {Semih Salihoglu and Wenchao Zhou and Rada Chirkova and Jun Yang and Dan Suciu}, title = {SLiMFast: Guaranteed Results for Data Fusion and Source Reliability}, booktitle = {Proceedings of the 2017 {ACM} International Conference on Management of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017}, pages = {1399--1414}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3035918.3035951}, doi = {10.1145/3035918.3035951}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/RekatsinasJGPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Joglekar16, author = {Manas Joglekar}, title = {Reliable data quality assessment}, school = {Stanford University, {USA}}, year = {2016}, url = {https://searchworks.stanford.edu/view/11685986}, timestamp = {Fri, 02 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Joglekar16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/Garcia-MolinaJM16, author = {Hector Garcia{-}Molina and Manas Joglekar and Adam Marcus and Aditya G. Parameswaran and Vasilis Verroios}, title = {Challenges in Data Crowdsourcing}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {28}, number = {4}, pages = {901--911}, year = {2016}, url = {https://doi.org/10.1109/TKDE.2016.2518669}, doi = {10.1109/TKDE.2016.2518669}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/Garcia-MolinaJM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/JoglekarGP16, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Interactive data exploration with smart drill-down}, booktitle = {32nd {IEEE} International Conference on Data Engineering, {ICDE} 2016, Helsinki, Finland, May 16-20, 2016}, pages = {906--917}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICDE.2016.7498300}, doi = {10.1109/ICDE.2016.7498300}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/JoglekarGP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/JoglekarR16, author = {Manas Joglekar and Christopher R{\'{e}}}, editor = {Wim Martens and Thomas Zeume}, title = {It's All a Matter of Degree: Using Degree Information to Optimize Multiway Joins}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {11:1--11:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.11}, doi = {10.4230/LIPICS.ICDT.2016.11}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/JoglekarR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/JoglekarPR16, author = {Manas R. Joglekar and Rohan Puttagunta and Christopher R{\'{e}}}, editor = {Tova Milo and Wang{-}Chiew Tan}, title = {{AJAR:} Aggregations and Joins over Annotated Relations}, booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016}, pages = {91--106}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2902251.2902293}, doi = {10.1145/2902251.2902293}, timestamp = {Tue, 06 Nov 2018 16:58:02 +0100}, biburl = {https://dblp.org/rec/conf/pods/JoglekarPR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/JoglekarGP15, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Smart Drill-Down: {A} New Data Exploration Operator}, journal = {Proc. {VLDB} Endow.}, volume = {8}, number = {12}, pages = {1928--1931}, year = {2015}, url = {http://www.vldb.org/pvldb/vol8/p1928-joglekar.pdf}, doi = {10.14778/2824032.2824103}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/JoglekarGP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChatterjeeJ015, author = {Krishnendu Chatterjee and Manas Joglekar and Nisarg Shah}, title = {Average case analysis of the classical algorithm for Markov decision processes with B{\"{u}}chi objectives}, journal = {Theor. Comput. Sci.}, volume = {573}, pages = {71--89}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2015.01.050}, doi = {10.1016/J.TCS.2015.01.050}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ChatterjeeJ015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/JoglekarGP15, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, editor = {Johannes Gehrke and Wolfgang Lehner and Kyuseok Shim and Sang Kyun Cha and Guy M. Lohman}, title = {Comprehensive and reliable crowd assessment algorithms}, booktitle = {31st {IEEE} International Conference on Data Engineering, {ICDE} 2015, Seoul, South Korea, April 13-17, 2015}, pages = {195--206}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICDE.2015.7113284}, doi = {10.1109/ICDE.2015.7113284}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/JoglekarGP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/ArasuEJKKR15, author = {Arvind Arasu and Ken Eguro and Manas Joglekar and Raghav Kaushik and Donald Kossmann and Ravi Ramamurthy}, editor = {Johannes Gehrke and Wolfgang Lehner and Kyuseok Shim and Sang Kyun Cha and Guy M. Lohman}, title = {Transaction processing on confidential data using cipherbase}, booktitle = {31st {IEEE} International Conference on Data Engineering, {ICDE} 2015, Seoul, South Korea, April 13-17, 2015}, pages = {435--446}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICDE.2015.7113304}, doi = {10.1109/ICDE.2015.7113304}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/ArasuEJKKR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/JoglekarGPR15, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran and Christopher R{\'{e}}}, editor = {Timos K. Sellis and Susan B. Davidson and Zachary G. Ives}, title = {Exploiting Correlations for Expensive Predicate Evaluation}, booktitle = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on Management of Data, Melbourne, Victoria, Australia, May 31 - June 4, 2015}, pages = {1183--1198}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2723372.2723715}, doi = {10.1145/2723372.2723715}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/JoglekarGPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarR15, author = {Manas Joglekar and Christopher R{\'{e}}}, title = {It's all a matter of degree: Using degree information to optimize multiway joins}, journal = {CoRR}, volume = {abs/1508.01239}, year = {2015}, url = {http://arxiv.org/abs/1508.01239}, eprinttype = {arXiv}, eprint = {1508.01239}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarPR15, author = {Manas Joglekar and Rohan Puttagunta and Christopher R{\'{e}}}, title = {Aggregations over Generalized Hypertree Decompositions}, journal = {CoRR}, volume = {abs/1508.07532}, year = {2015}, url = {http://arxiv.org/abs/1508.07532}, eprinttype = {arXiv}, eprint = {1508.07532}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarRGPR15, author = {Manas Joglekar and Theodoros Rekatsinas and Hector Garcia{-}Molina and Aditya G. Parameswaran and Christopher R{\'{e}}}, title = {Exploiting Features for Data Source Quality Estimation}, journal = {CoRR}, volume = {abs/1512.06474}, year = {2015}, url = {http://arxiv.org/abs/1512.06474}, eprinttype = {arXiv}, eprint = {1512.06474}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarRGPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AfratiJRSU14, author = {Foto N. Afrati and Manas Joglekar and Christopher R{\'{e}} and Semih Salihoglu and Jeffrey D. Ullman}, title = {{GYM:} {A} Multiround Join Algorithm In MapReduce}, journal = {CoRR}, volume = {abs/1410.4156}, year = {2014}, url = {http://arxiv.org/abs/1410.4156}, eprinttype = {arXiv}, eprint = {1410.4156}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AfratiJRSU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarGPR14, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran and Christopher R{\'{e}}}, title = {Exploiting Correlations for Expensive Predicate Evaluation}, journal = {CoRR}, volume = {abs/1411.3374}, year = {2014}, url = {http://arxiv.org/abs/1411.3374}, eprinttype = {arXiv}, eprint = {1411.3374}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarGPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarGP14, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Comprehensive and Reliable Crowd Assessment Algorithms}, journal = {CoRR}, volume = {abs/1411.3377}, year = {2014}, url = {http://arxiv.org/abs/1411.3377}, eprinttype = {arXiv}, eprint = {1411.3377}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarGP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarGP14a, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Evaluating the Crowd with Confidence}, journal = {CoRR}, volume = {abs/1411.6562}, year = {2014}, url = {http://arxiv.org/abs/1411.6562}, eprinttype = {arXiv}, eprint = {1411.6562}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarGP14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JoglekarGP14b, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, title = {Smart Drill Down}, journal = {CoRR}, volume = {abs/1412.0364}, year = {2014}, url = {http://arxiv.org/abs/1412.0364}, eprinttype = {arXiv}, eprint = {1412.0364}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JoglekarGP14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ChatterjeeHJS13, author = {Krishnendu Chatterjee and Monika Henzinger and Manas Joglekar and Nisarg Shah}, title = {Symbolic algorithms for qualitative analysis of Markov decision processes with B{\"{u}}chi objectives}, journal = {Formal Methods Syst. Des.}, volume = {42}, number = {3}, pages = {301--327}, year = {2013}, url = {https://doi.org/10.1007/s10703-012-0180-2}, doi = {10.1007/S10703-012-0180-2}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ChatterjeeHJS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KarmarkarJC13, author = {Hrishikesh Karmarkar and Manas Joglekar and Supratik Chakraborty}, editor = {Dang Van Hung and Mizuhito Ogawa}, title = {Improved Upper and Lower Bounds for B{\"{u}}chi Disambiguation}, booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8172}, pages = {40--54}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02444-8\_5}, doi = {10.1007/978-3-319-02444-8\_5}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/KarmarkarJC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kdd/JoglekarGP13, author = {Manas Joglekar and Hector Garcia{-}Molina and Aditya G. Parameswaran}, editor = {Inderjit S. Dhillon and Yehuda Koren and Rayid Ghani and Ted E. Senator and Paul Bradley and Rajesh Parekh and Jingrui He and Robert L. Grossman and Ramasamy Uthurusamy}, title = {Evaluating the crowd with confidence}, booktitle = {The 19th {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, {KDD} 2013, Chicago, IL, USA, August 11-14, 2013}, pages = {686--694}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2487575.2487595}, doi = {10.1145/2487575.2487595}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kdd/JoglekarGP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/ArasuBEJKKRUV13, author = {Arvind Arasu and Spyros Blanas and Ken Eguro and Manas Joglekar and Raghav Kaushik and Donald Kossmann and Ravishankar Ramamurthy and Prasang Upadhyaya and Ramarathnam Venkatesan}, editor = {Kenneth A. Ross and Divesh Srivastava and Dimitris Papadias}, title = {Secure database-as-a-service with Cipherbase}, booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013}, pages = {1033--1036}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2463676.2467797}, doi = {10.1145/2463676.2467797}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/ArasuBEJKKRUV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/ArasuBEJKKRUV12, author = {Arvind Arasu and Spyros Blanas and Ken Eguro and Manas Joglekar and Raghav Kaushik and Donald Kossmann and Ravishankar Ramamurthy and Prasang Upadhyaya and Ramarathnam Venkatesan}, title = {Engineering Security and Performance with Cipherbase}, journal = {{IEEE} Data Eng. Bull.}, volume = {35}, number = {4}, pages = {65--72}, year = {2012}, url = {http://sites.computer.org/debull/A12dec/cipher.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/ArasuBEJKKRUV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dm/JoglekarSD12, author = {Manas Joglekar and Nisarg Shah and Ajit A. Diwan}, title = {Balanced group-labeled graphs}, journal = {Discret. Math.}, volume = {312}, number = {9}, pages = {1542--1549}, year = {2012}, url = {https://doi.org/10.1016/j.disc.2011.09.021}, doi = {10.1016/J.DISC.2011.09.021}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dm/JoglekarSD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ChatterjeeJS12, author = {Krishnendu Chatterjee and Manas Joglekar and Nisarg Shah}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, title = {Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B{\"{u}}chi Objectives}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India}, series = {LIPIcs}, volume = {18}, pages = {461--473}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461}, doi = {10.4230/LIPICS.FSTTCS.2012.461}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/ChatterjeeJS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1202-4175, author = {Krishnendu Chatterjee and Manas Joglekar and Nisarg Shah}, title = {Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B{\"{u}}chi Objectives}, journal = {CoRR}, volume = {abs/1202.4175}, year = {2012}, url = {http://arxiv.org/abs/1202.4175}, eprinttype = {arXiv}, eprint = {1202.4175}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4175.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChatterjeeHJS11, author = {Krishnendu Chatterjee and Monika Henzinger and Manas Joglekar and Nisarg Shah}, editor = {Ganesh Gopalakrishnan and Shaz Qadeer}, title = {Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with B{\"{u}}chi Objectives}, booktitle = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6806}, pages = {260--276}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22110-1\_21}, doi = {10.1007/978-3-642-22110-1\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/ChatterjeeHJS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1104-3348, author = {Krishnendu Chatterjee and Monika Henzinger and Manas Joglekar and Nisarg Shah}, title = {Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with B{\"{u}}chi Objectives}, journal = {CoRR}, volume = {abs/1104.3348}, year = {2011}, url = {http://arxiv.org/abs/1104.3348}, eprinttype = {arXiv}, eprint = {1104.3348}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1104-3348.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.