( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Secure Medical Image Analysis with CrypTFlow.

, , , , , , , , и . CoRR, (2020)

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.

Hasima Nori

Nori Möding

Nori Görmer

Wafa Nori

Aditya Aryasomayajula

 

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

Interpolants as Classifiers., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2012)The YogiProject: Software Property Checking via Static Analysis and Testing., , , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 178-181. Springer, (2009)An empirical study of optimizations in YOGI., и . ICSE (1), стр. 355-364. ACM, (2010)Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , и . PEPM, стр. 21-26. ACM, (2015)Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes., и . IEEE Trans. Inf. Theory, 52 (10): 4431-4443 (2006)Proofs from tests., , , и . ISSTA, стр. 3-14. ACM, (2008)Combining Relational Learning with SMT Solvers Using CEGAR., , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 447-462. Springer, (2013)Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing., , , , , , , , , и 2 other автор(ы). ECCV (36), том 13696 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2022)Preferential path profiling: compactly numbering interesting paths., , и . POPL, стр. 351-362. ACM, (2007)Compositional may-must program analysis: unleashing the power of alternation., , , и . POPL, стр. 43-56. ACM, (2010)