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

Probabilistic Resource-Aware Session Types., , und . CoRR, (2020)Exact and Linear-Time Gas-Cost Analysis., und . SAS, Volume 12389 von Lecture Notes in Computer Science, Seite 333-356. Springer, (2020)Precise Null Pointer Analysis Through Global Value Numbering., und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 25-41. Springer, (2017)Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)., und . FSCD, Volume 167 von LIPIcs, Seite 33:1-33:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Angelic Verification: Precise Verification Modulo Unknowns., , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 324-342. Springer, (2015)Rast: A Language for Resource-Aware Session Types., und . CoRR, (2020)Resource-Aware Session Types for Digital Contracts., , , , und . CSF, Seite 1-16. IEEE, (2021)Nested Session Types., , , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 178-206. Springer, (2021)Polarized Subtyping., , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 431-461. Springer, (2022)On Petri Nets with Hierarchical Special Arcs., , , , und . CONCUR, Volume 85 von LIPIcs, Seite 40:1-40:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)