From post

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.

 

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

Certified Verification for Algebraic Abstraction., , , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 329-349. Springer, (2023)CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 149-171. Springer, (2021)Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE., , , , , и . IACR Cryptol. ePrint Arch., (2022)Signed Cryptographic Program Verification with Typed CryptoLine., , , , , и . CCS, стр. 1591-1606. ACM, (2019)autofz: Automated Fuzzer Composition at Runtime., , и . USENIX Security Symposium, стр. 1901-1918. USENIX Association, (2023)CoqCryptoLine: A Verified Model Checker with Certified Results., , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 227-240. Springer, (2023)A Novel Stereo Matching Algorithm for Digital Surface Model (DSM) Generation in Water Areas., , , и . Remote Sensing, 12 (5): 870 (2020)Partial Unbalanced Feature Transport for Cross-Modality Cardiac Image Segmentation., , , , , , , и . IEEE Trans. Medical Imaging, 42 (6): 1758-1773 (июня 2023)High-availability in-memory key-value store using RDMA and Optane DCPMM., , , , , , , и . Frontiers Comput. Sci., 17 (1): 171603 (2023)Fusion of 3D lung CT and serum biomarkers for diagnosis of multiple pathological types on pulmonary nodules., , , , , , , , и . Comput. Methods Programs Biomed., (2021)