| Publication | Date of Publication | Type |
|---|
A categorical framework for program semantics and semantic abstraction
| 2026-04-02 | Paper |
Approximate span liftings. Compositional semantics for relaxations of differential privacy
| 2024-12-19 | Paper |
Differentiable causal computations via delayed trace
| 2024-12-19 | Paper |
Codensity games for bisimilarity
| 2024-12-19 | Paper |
Probabilistic relational reasoning via metrics
| 2024-12-19 | Paper |
Divergences on monads for relational program logics
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Control-data separation and logical condition propagation for efficient inference on probabilistic programs
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
scientific article; zbMATH DE number 7730623 (Why is no real title available?)
| 2023-08-21 | Paper |
Weakest preconditions in fibrations
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
The Lattice-Theoretic Essence of Property Directed Reachability Analysis
| 2022-12-07 | Paper |
Relational differential dynamic logic
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Stone Dualities from Opfibrations
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
On inverse operators in dynamic epistemic logic
| 2022-07-01 | Paper |
Stone dualities from opfibrations
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
Weakest preconditions in fibrations
| 2022-04-29 | Paper |
Architecture-guided test resource allocation via logic
| 2022-03-21 | Paper |
Fibrational bisimulations and quantitative reasoning: extended version
Journal Of Logic And Computation | 2021-10-21 | Paper |
Generalized bounded linear logic and its categorical semantics
| 2021-10-18 | Paper |
Graded Hoare logic and its categorical semantics
| 2021-10-18 | Paper |
scientific article; zbMATH DE number 7340562 (Why is no real title available?)
| 2021-04-27 | Paper |
Interaction laws of monads and comonads
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
A coalgebraic view on reachability
Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
Path category for free. Open morphisms from coalgebras with non-deterministic branching
| 2020-01-28 | Paper |
Relational differential dynamic logic
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Differentiable Causal Computations via Delayed Trace
| 2019-03-04 | Paper |
A Coalgebraic View on Reachability
| 2019-01-30 | Paper |
Codensity lifting of monads and its dual
| 2018-11-02 | Paper |
Fibrational bisimulations and quantitative reasoning
| 2018-10-23 | Paper |
A double category theoretic analysis of graded linear exponential comonads
| 2018-07-17 | Paper |
A semantic account of metric preservation
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Codensity liftings of monads
| 2017-07-11 | Paper |
Combining effects and coeffects via grading
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Towards a formal theory of graded monads
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Algebraic fusion of functions with an accumulating parameter and its improvement
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
Parametric effect monads and semantics of effect systems
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Relating computational effects by \(\top \top \)-lifting
Information and Computation | 2013-06-06 | Paper |
Preorders on monads and coalgebraic simulations
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Relating Computational Effects by ⊤ ⊤-Lifting
Automata, Languages and Programming | 2011-07-07 | Paper |
Behavioural equivalence and indistinguishability in higher-order typed languages.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
Mathematical Proceedings of the Cambridge Philosophical Society | 2010-01-28 | Paper |
Algebraic fusion of functions with an accumulating parameter and its improvement
Journal of Functional Programming | 2008-12-18 | Paper |
A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
Computer Science Logic | 2008-11-20 | Paper |
Attribute Grammars and Categorical Semantics
Automata, Languages and Programming | 2008-08-19 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
scientific article; zbMATH DE number 1692950 (Why is no real title available?)
| 2002-01-21 | Paper |
A Categorical Framework for Program Semantics and Semantic Abstraction
| N/A | Paper |
Composing Codensity Bisimulations
| N/A | Paper |
