| Publication | Date of Publication | Type |
|---|
| Robustness, Scott continuity, and computability | 2024-03-05 | Paper |
| Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad | 2023-09-13 | Paper |
| System analysis and robustness | 2023-08-02 | Paper |
| The S-replete construction | 2022-12-16 | Paper |
| A category-theoretic account of program modules | 2022-08-16 | Paper |
| Sound Over-Approximation of Probabilities | 2020-10-02 | Paper |
| Safe \& robust reachability analysis of hybrid systems | 2018-09-24 | Paper |
| Structuring Operational Semantics: Simplification and Computation | 2013-12-06 | Paper |
| Monad transformers as monoid transformers | 2011-01-07 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024897 | 2005-07-04 | Paper |
| An abstract monadic semantics for value recursion | 2005-03-21 | Paper |
| MetaKlaim: a type safe multi-stage language for global computing | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472540 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449178 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445774 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417870 | 2003-07-30 | Paper |
| A fully abstract model for the \(\pi\)-calculus. | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754131 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499224 | 2001-03-04 | Paper |
| Monadic encapsulation of effects: a revised approach (extended version) | 2001-01-01 | Paper |
| Functorial ML | 1999-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839074 | 1999-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225151 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222897 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327833 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282574 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282579 | 1994-03-17 | Paper |
| Constructive natural deduction and its ‘ω-set’ interpretation | 1992-09-26 | Paper |
| A category-theoretic account of program modules | 1992-06-25 | Paper |
| Notions of computation and monads | 1991-01-01 | Paper |
| Kripke-style models for typed lambda calculus | 1991-01-01 | Paper |
| A category-theoretic characterization of functional completeness | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3202991 | 1989-01-01 | Paper |
| Partial morphisms in categories of effective objects | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764126 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701413 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677755 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682463 | 1984-01-01 | Paper |
| The hereditary partial effective functionals and recursion theory in higher types | 1984-01-01 | Paper |
