| Publication | Date of Publication | Type |
|---|
| Divergences on monads for relational program logics | 2024-03-05 | Paper |
| Control-data separation and logical condition propagation for efficient inference on probabilistic programs | 2024-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134267 | 2023-08-21 | Paper |
| Weakest preconditions in fibrations | 2022-12-20 | Paper |
| The Lattice-Theoretic Essence of Property Directed Reachability Analysis | 2022-12-07 | Paper |
| Relational Differential Dynamic Logic | 2022-10-13 | Paper |
| Stone Dualities from Opfibrations | 2022-08-30 | Paper |
| On inverse operators in dynamic epistemic logic | 2022-07-01 | Paper |
| Stone dualities from opfibrations | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4986735 | 2021-04-27 | Paper |
| Interaction Laws of Monads and Comonads | 2021-01-21 | Paper |
| A coalgebraic view on reachability | 2020-03-06 | Paper |
| Path category for free. Open morphisms from coalgebras with non-deterministic branching | 2020-01-28 | Paper |
| Relational differential dynamic logic | 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 | 2017-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275349 | 2017-07-11 | Paper |
| Combining effects and coeffects via grading | 2017-05-10 | Paper |
| Towards a Formal Theory of Graded Monads | 2016-06-10 | Paper |
| Algebraic fusion of functions with an accumulating parameter and its improvement | 2015-08-03 | Paper |
| Parametric effect monads and semantics of effect systems | 2014-04-10 | Paper |
| Relating computational effects by \(\top \top \)-lifting | 2013-06-06 | Paper |
| Preorders on Monads and Coalgebraic Simulations | 2013-03-18 | Paper |
| Relating Computational Effects by ⊤ ⊤-Lifting | 2011-07-07 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories | 2010-01-28 | Paper |
| Algebraic fusion of functions with an accumulating parameter and its improvement | 2008-12-18 | Paper |
| A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators | 2008-11-20 | Paper |
| Attribute Grammars and Categorical Semantics | 2008-08-19 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763683 | 2002-01-21 | Paper |
| A Categorical Framework for Program Semantics and Semantic Abstraction | 0001-01-03 | Paper |
| Composing Codensity Bisimulations | 0001-01-03 | Paper |
