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

The YogiProject: Software Property Checking via Static Analysis and Testing., , , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 178-181. Springer, (2009)Interpolants as Classifiers., , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2012)Proofs from tests., , , und . ISSTA, Seite 3-14. ACM, (2008)An empirical study of optimizations in YOGI., und . ICSE (1), Seite 355-364. ACM, (2010)Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , und . PEPM, Seite 21-26. ACM, (2015)Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes., und . IEEE Trans. Inf. Theory, 52 (10): 4431-4443 (2006)Combining Relational Learning with SMT Solvers Using CEGAR., , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 447-462. Springer, (2013)Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing., , , , , , , , , und 2 andere Autor(en). ECCV (36), Volume 13696 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2022)Termination proofs from tests., und . ESEC/SIGSOFT FSE, Seite 246-256. ACM, (2013)HOLMES: Effective statistical debugging via efficient path profiling., , , , und . ICSE, Seite 34-44. IEEE, (2009)