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.

 

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

An Empirical Study on API-Misuse Bugs in Open-Source C Programs., , , , и . COMPSAC (1), стр. 11-20. IEEE, (2019)Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking., , , , , и . IACR Cryptol. ePrint Arch., (2023)Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks., , , , , и . CoRR, (2022)CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 149-171. Springer, (2021)Integrated Sensing and Communication Resource Allocation for Latency Sensitive Services of Connected Automated Vehicles., , , , и . ICC Workshops, стр. 482-487. IEEE, (2023)IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs., , , , , и . TASE, стр. 216-223. IEEE, (2019)Refined Individual Tooth Segmentation from Cone Beam CT Images., , , , и . ISBI, стр. 1-5. IEEE, (2024)OleNet at SemEval-2019 Task 9: BERT based Multi-Perspective Models for Suggestion Mining., , и . SemEval@NAACL-HLT, стр. 1231-1236. Association for Computational Linguistics, (2019)ERNIE-SPARSE: Learning Hierarchical Efficient Transformer Through Regularized Self-Attention., , , , , , , , , и . CoRR, (2022)Saibot: A Differentially Private Data Search Platform., , , , и . Proc. VLDB Endow., 16 (11): 3057-3070 (2023)