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

Abstract Domains of Affine Relations., , , , und . ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)Directed Proof Generation for Machine Code., , , , , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 288-305. Springer, (2010)Abstract Domains of Affine Relations., , , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 198-215. Springer, (2011)View-Augmented Abstractions., , und . NSAD@SAS, Volume 267 von Electronic Notes in Theoretical Computer Science, Seite 43-57. Elsevier, (2010)Bilateral Algorithms for Symbolic Abstraction., , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 111-128. Springer, (2012)