| Publication | Date of Publication | Type |
|---|
| The convex powerdomain in a category of posets realized by cpos | 2022-12-16 | Paper |
| Constant-\(r\) geodesics in the Painlevé-Gullstrand form of Lense-Thirring spacetime | 2022-09-20 | Paper |
| The eye of the storm: a regular Kerr black hole | 2022-08-31 | Paper |
| Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular | 2022-05-28 | Paper |
| Category-theoretic structure for independence and conditional independence | 2022-04-25 | Paper |
| Black-bounce to traversable wormhole | 2022-03-04 | Paper |
| Charged black-bounce spacetimes | 2022-02-14 | Paper |
| Darboux diagonalization of the spatial 3-metric in Kerr spacetime | 2021-12-13 | Paper |
| Unit-lapse versions of the Kerr spacetime | 2021-11-02 | Paper |
| Vaidya spacetimes, black-bounces, and traversable wormholes | 2021-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992900 | 2021-06-10 | Paper |
| Behavioural equivalence via modalities for algebraic effects | 2019-09-13 | Paper |
| Probability Sheaves and the Giry Monad | 2018-08-13 | Paper |
| Łukasiewicz μ-calculus | 2017-11-10 | Paper |
| Cyclic Arithmetic Is Equivalent to Peano Arithmetic | 2017-05-19 | Paper |
| Comprehensive Parametric Polymorphism: Categorical Models and Type Theory | 2016-06-10 | Paper |
| Relational Parametricity for Control Considered as a Computational Effect | 2015-07-10 | Paper |
| The enriched effect calculus: syntax and semantics | 2015-01-12 | Paper |
| Abstract Datatypes for Real Numbers in Type Theory | 2014-07-24 | Paper |
| Relating first-order set theories, toposes and categories of classes | 2013-12-10 | Paper |
| A convenient category of domains | 2013-12-06 | Paper |
| Probabilistic observations and valuations (extended abstract) | 2013-10-08 | Paper |
| A Proof System for Compositional Verification of Probabilistic Concurrent Processes | 2013-03-18 | Paper |
| Linear-use CPS translations in the Enriched Effect Calculus | 2012-10-22 | Paper |
| Measure, randomness and sublocales | 2012-09-26 | Paper |
| Constructive toposes with countable sums as models of constructive set theory | 2012-09-06 | Paper |
| Sequent calculi for induction and infinite descent | 2011-12-19 | Paper |
| Linearly-Used Continuations in the Enriched Effect Calculus | 2010-04-27 | Paper |
| Enriching an Effect Calculus with Linear Types | 2009-11-12 | Paper |
| Relational Parametricity for Computational Effects | 2009-08-20 | Paper |
| Relating First-Order Set Theories and Elementary Toposes | 2008-10-23 | Paper |
| A Logic for Parametric Polymorphism with Effects | 2008-06-03 | Paper |
| Two preservation results for countable products of sequential spaces | 2007-04-12 | Paper |
| Representing probability measures using probabilistic processes | 2007-02-08 | Paper |
| Compactly generated domain theory | 2006-08-10 | Paper |
| Coalgebraic semantics for timed processes | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718562 | 2006-01-16 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024853 | 2005-07-04 | Paper |
| Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability | 2005-02-16 | Paper |
| Computational adequacy for recursive types in models of intuitionistic set theory | 2004-11-18 | Paper |
| Comparing Cartesian closed categories of (core) compactly generated spaces | 2004-10-01 | Paper |
| Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738238 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737182 | 2004-08-11 | Paper |
| Topological and limit-space subcategories of countably-based equilogical spaces | 2004-02-24 | Paper |
| An equational notion of lifting monad | 2003-07-29 | Paper |
| Axioms and (counter)examples in synthetic domain theory | 2001-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499236 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513590 | 2001-02-28 | Paper |
| A uniform approach to domain theory in realizability models | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263806 | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263868 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261092 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218119 | 1999-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896530 | 1996-10-20 | Paper |
| A characterization of the least-fixed-point operator by dinaturality | 1993-10-17 | Paper |
