Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reliable data quality assessment.. Stanford University, USA, (2016)Secure database-as-a-service with Cipherbase., , , , , , , , and . SIGMOD Conference, page 1033-1036. ACM, (2013)Interactive data exploration with smart drill-down., , and . ICDE, page 906-917. IEEE Computer Society, (2016)Evaluating the crowd with confidence., , and . KDD, page 686-694. ACM, (2013)Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision., , , , , , , , , and 2 other author(s). ICML, OpenReview.net, (2024)Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives., , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 260-276. Springer, (2011)Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives., , and . FSTTCS, volume 18 of LIPIcs, page 461-473. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Improved Upper and Lower Bounds for Büchi Disambiguation., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 40-54. Springer, (2013)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , and . Theor. Comput. Sci., (2015)Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , and . Formal Methods Syst. Des., 42 (3): 301-327 (2013)