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

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)Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4)., and . NII Shonan Meet. Rep., (2017)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)Codensity Liftings of Monads., and . CALCO, volume 35 of LIPIcs, page 156-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Codensity Games for Bisimilarity., , , , and . LICS, page 1-13. IEEE, (2019)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 Lifting of Monads and its Dual., , and . Log. Methods Comput. Sci., (2018)