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

Approximate Counting of Minimal Unsatisfiable Subsets., and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 439-462. Springer, (2020)Principled network reliability approximation: A counting-based approach., , , and . Reliab. Eng. Syst. Saf., (2019)Scalable Quantitative Verification For Deep Neural Networks., , , and . ICSE, page 312-323. IEEE, (2021)Scalable Probabilistic Routes., , and . ENIGMA@KR, volume 3495 of CEUR Workshop Proceedings, page 64-74. CEUR-WS.org, (2023)"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis., , and . FAccT, page 138-148. ACM, (2023)On Approximating Total Variation Distance., , , , , and . IJCAI, page 3479-3487. ijcai.org, (2023)Testing of Horn Samplers., , , , , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 1301-1330. PMLR, (2023)Knowledge Compilation meets Uniform Sampling., , , and . LPAR, volume 57 of EPiC Series in Computing, page 620-636. EasyChair, (2018)Estimating the Size of Union of Sets in Streaming Models., , and . PODS, page 126-137. ACM, (2021)ApproxASP - a Scalable Approximate Answer Set Counter., , , , , and . AAAI, page 5755-5764. AAAI Press, (2022)