Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4)., and . NII Shonan Meet. Rep., (2017)Relational differential dynamic logic: poster abstract., , , , , and . HSCC, page 284-285. ACM, (2019)Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.. WADT, volume 2755 of Lecture Notes in Computer Science, page 284-298. Springer, (2002)Composing Codensity Bisimulations., , , and . LICS, page 52:1-52:13. ACM, (2024)The Lattice-Theoretic Essence of Property Directed Reachability Analysis., , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 235-256. Springer, (2022)Towards a Formal Theory of Graded Monads., , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Preorders on Monads and Coalgebraic Simulations., and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 145-160. Springer, (2013)Codensity Games for Bisimilarity., , , , and . LICS, page 1-13. IEEE, (2019)Codensity Liftings of Monads., and . CALCO, volume 35 of LIPIcs, page 156-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Generalized Bounded Linear Logic and its Categorical Semantics., and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 226-246. Springer, (2021)