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

Optical-flow-based framework to boost video object detection performance with object enhancement., , und . Expert Syst. Appl., (2021)Automatic patch generation via learning from successful human patches.. Massachusetts Institute of Technology, Cambridge, USA, (2018)ndltd.org (oai:dspace.mit.edu:1721.1/115774).Securing smart contract with runtime validation., , und . PLDI, Seite 438-453. ACM, (2020)Multiscale Empirical Analysis of Software Network Evolution., , , , , und . QRS Companion, Seite 1109-1118. IEEE, (2021)Sound input filter generation for integer overflow errors., , , und . POPL, Seite 439-452. ACM, (2014)An analysis of patch plausibility and correctness for generate-and-validate patch generation systems., , , und . ISSTA, Seite 24-36. ACM, (2015)Sparseness of the LS-SVM algorithm based on the leave one out cross validation method with Multibeam data., , , und . EITCE, Seite 253-257. ACM, (2020)An Improved Blind Optimization Algorithm for Hardware/Software Partitioning and Scheduling., , , und . ICSI (2), Volume 10942 von Lecture Notes in Computer Science, Seite 225-234. Springer, (2018)MODIST: Transparent Model Checking of Unmodified Distributed Systems., , , , , , , , , und . NSDI, Seite 213-228. USENIX Association, (2009)LVMT: An Efficient Authenticated Storage for Blockchain., , , , , und . OSDI, Seite 135-153. USENIX Association, (2023)