( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robustness Certification for Point Cloud Models.

, , , , и . ICCV, стр. 7588-7598. IEEE, (2021)

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.

Martin T Schwab

Daniela T P Martin

Martin T W Rosenfeld

T Attin

T Neumann

 

Другие публикации лиц с тем же именем

zkay v0.2: Practical Data Privacy for Smart Contracts., , , , и . CoRR, (2020)Learning a Static Analyzer from Data., , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 233-253. Springer, (2017)QVM: An Efficient Runtime for Detecting Defects in Deployed Systems., , и . ACM Trans. Softw. Eng. Methodol., 21 (1): 2:1-2:35 (2011)Computer-aided construction of concurrent systems.. CompSysTech, стр. 19-24. ACM, (2010)Verifying atomicity via data independence., , , , , , и . ISSTA, стр. 26-36. ACM, (2014)Derivation and Evaluation of Concurrent Collectors., , , и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 577-601. Springer, (2005)PHOG: Probabilistic Model for Code., , и . ICML, том 48 из JMLR Workshop and Conference Proceedings, стр. 2933-2942. JMLR.org, (2016)Optimal Learning of Specifications from Examples., , и . CoRR, (2016)Scalable taint specification inference with big code., , , и . PLDI, стр. 760-774. ACM, (2019)Programming with "Big Code": Lessons, Techniques and Applications., , и . SNAPL, том 32 из LIPIcs, стр. 41-50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)