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

Mining message sequence graphs., , , und . ICSE, Seite 91-100. ACM, (2011)Hierarchical dynamic slicing., und . ISSTA, Seite 228-238. ACM, (2007)Accurate estimation of cache-related preemption delay., , und . CODES+ISSS, Seite 201-206. ACM, (2003)Scratchpad allocation for concurrent embedded software., , und . CODES+ISSS, Seite 37-42. ACM, (2008)Interacting process classes., , , und . ICSE, Seite 302-311. ACM, (2006)Formal Reasoning about Hardware and Software Memory Models.. ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 423-434. Springer, (2002)Efficient Algorithms for Vertex Arboricity of Planar Graphs., und . FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 37-51. Springer, (1995)WOMM: A Weak Operational Memory Model., , und . ISoLA (1), Volume 6415 von Lecture Notes in Computer Science, Seite 519-534. Springer, (2010)Program Repair Competition., , und . APR@ICSE, Seite 19-20. IEEE, (2023)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , und . ICCL, Seite 196-205. IEEE Computer Society, (1998)