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

Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4)., und . NII Shonan Meet. Rep., (2017)Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.. WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 284-298. Springer, (2002)Relational differential dynamic logic: poster abstract., , , , , und . HSCC, Seite 284-285. ACM, (2019)Composing Codensity Bisimulations., , , und . LICS, Seite 52:1-52:13. ACM, (2024)The Lattice-Theoretic Essence of Property Directed Reachability Analysis., , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 235-256. Springer, (2022)Towards a Formal Theory of Graded Monads., , und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 513-530. Springer, (2016)Preorders on Monads and Coalgebraic Simulations., und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2013)Codensity Games for Bisimilarity., , , , und . LICS, Seite 1-13. IEEE, (2019)Codensity Liftings of Monads., und . CALCO, Volume 35 von LIPIcs, Seite 156-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Proof-Directed De-compilation of Low-Level Code., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 352-366. Springer, (2001)