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

Towards a mostly-automated prover for bit-vector arithmetic., und . C3S2E, Seite 132-133. ACM, (2013)Effective Bug Finding in C Programs with Shape and Effect Abstractions., , und . VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 34-54. Springer, (2017)42 variability bugs in the linux kernel: a qualitative analysis., , und . ASE, Seite 421-432. ACM, (2014)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 493-495. Springer, (2012)