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

Scheduling jobs with chain precedence constraints and deteriorating jobs., , und . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models., , , , , , , und . CoRR, (2020)Reach-avoid Verification Based on Convex Optimization., , , , und . CoRR, (2022)Verifying Numerical Programs via Iterative Abstract Testing., , , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 247-267. Springer, (2019)Static analysis of list-manipulating programs via bit-vectors and numerical abstractions., , , und . SAC, Seite 1204-1210. ACM, (2013)In vivo precision of digital topological skeletonization based individual trabecula segmentation (ITS) analysis of trabecular microstructure at the distal radius and tibia by HR-pQCT., , , , , , , , , und . Pattern Recognit. Lett., (2016)Input Validation for Neural Networks via Runtime Local Robustness Verification., , , und . CoRR, (2020)Solutions of nonlinear thickness-shear vibrations of an infinite isotropic plate with the homotopy analysis method., , , , und . Numer. Algorithms, 59 (2): 213-226 (2012)Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization., , , , und . APSEC, Seite 328-337. IEEE, (2022)Trace Abstraction-Based Verification for Uninterpreted Programs., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 545-562. Springer, (2021)