Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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