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

Bunched Fuzz: Sensitivity for Vector Metrics., , , and . ESOP, volume 13990 of Lecture Notes in Computer Science, page 451-478. Springer, (2023)Netter: Probabilistic, Stateful Network Models., , , , , and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 486-508. Springer, (2021)Automating Compositional Analysis of Authentication Protocols., , , and . FMCAD, page 113-118. IEEE, (2020)Probabilistic Relational Reasoning via Metrics., , , and . LICS, page 1-19. IEEE, (2019)Learning Assumptions for Verifying Cryptographic Protocols Compositionally., , , and . FACS, volume 13077 of Lecture Notes in Computer Science, page 3-23. Springer, (2021)Domain Reasoning in TopKAT., , and . ICALP, volume 297 of LIPIcs, page 157:1-157:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)On Pitts' Relational Properties of Domains.. CoRR, (2022)Pipelines and Beyond: Graph Types for ADTs with Futures., , , and . CoRR, (2023)Reconciling noninterference and gradual typing., , and . LICS, page 116-129. ACM, (2020)A semantic account of metric preservation., , , , and . POPL, page 545-556. ACM, (2017)