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)Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks., , , , , und . CoRR, (2022)ERNIE-SPARSE: Learning Hierarchical Efficient Transformer Through Regularized Self-Attention., , , , , , , , , und . CoRR, (2022)Human-AI cooperation: Modes and their effects on attitudes., , , und . Telematics Informatics, (2022)Cache Me If You Can: Accuracy-Aware Inference Engine for Differentially Private Data Exploration., , , , und . Proc. VLDB Endow., 16 (4): 574-586 (2022)Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking., , , , , und . IACR Cryptol. ePrint Arch., (2023)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)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)Generalization Techniques Empirically Outperform Differential Privacy against Membership Inference., , und . CoRR, (2021)A ChatGPT Aided Explainable Framework for Zero-Shot Medical Image Diagnosis., , , , , und . CoRR, (2023)