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

Temporal Logic of Composable Distributed Components., , , und . CoRR, (2020)TLC: temporal logic of distributed components., , , und . Proc. ACM Program. Lang., 4 (ICFP): 123:1-123:30 (2020)Accumulation Analysis., , , und . ECOOP, Volume 222 von LIPIcs, Seite 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Lightweight and modular resource leak verification., , , und . ESEC/SIGSOFT FSE, Seite 181-192. ACM, (2021)