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

Dynamic Object Evolution without Name Collisions.. ECOOP, Volume 1241 von Lecture Notes in Computer Science, Seite 190-219. Springer, (1997)LoRe: A Programming Model for Verifiably Safe Local-First Software., , , , und . CoRR, (2023)Dependently-Typed Data Plane Programming., , , , und . CoRR, (2022)ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices., , , , , , , und . CoRR, (2020)Connectors for bridging mismatches between the components of a software engineering environment., und . IEE Proc. Softw., 148 (3): 104-111 (2001)Versatile event correlation with algebraic effects., , , , , und . Proc. ACM Program. Lang., 2 (ICFP): 67:1-67:31 (2018)Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)., , , und . Dagstuhl Artifacts Ser., 9 (2): 26:1-26:4 (2023)Using Rewrite Strategies for Efficient Functional Automatic Differentiation., , und . FTfJP@ECOOP, Seite 51-57. ACM, (2023)Separation of Concerns with Procedures, Annotations, Advice and Pointcuts., und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 195-213. Springer, (2005)Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild., , , und . TrustCom, Seite 410-417. IEEE, (2020)