| Publication | Date of Publication | Type |
|---|
| Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad | 2024-09-13 | Paper |
Robustness, Scott continuity, and computability
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
| Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad | 2023-09-13 | Paper |
System analysis and robustness
Lecture Notes in Computer Science | 2023-08-02 | Paper |
The S-replete construction
Category Theory and Computer Science | 2022-12-16 | Paper |
A category-theoretic account of program modules
Category Theory and Computer Science | 2022-08-16 | Paper |
Sound Over-Approximation of Probabilities
Acta Cybernetica | 2020-10-02 | Paper |
Safe \& robust reachability analysis of hybrid systems
Theoretical Computer Science | 2018-09-24 | Paper |
Structuring operational semantics: simplification and computation
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Monad transformers as monoid transformers
Theoretical Computer Science | 2011-01-07 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2185705 (Why is no real title available?) | 2005-07-04 | Paper |
An abstract monadic semantics for value recursion
RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
An abstract monadic semantics for value recursion
RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
An abstract monadic semantics for value recursion
RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2080286 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2038713 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 2036337 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 1956524 (Why is no real title available?) | 2003-07-30 | Paper |
A fully abstract model for the \(\pi\)-calculus.
Information and Computation | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1670811 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1497806 (Why is no real title available?) | 2001-03-04 | Paper |
Monadic encapsulation of effects: a revised approach (extended version)
Journal of Functional Programming | 2001-01-01 | Paper |
Functorial ML
Journal of Functional Programming | 1999-05-03 | Paper |
| scientific article; zbMATH DE number 1189299 (Why is no real title available?) | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 1241701 (Why is no real title available?) | 1999-01-18 | Paper |
| scientific article; zbMATH DE number 1231578 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 742723 (Why is no real title available?) | 1995-04-09 | Paper |
| scientific article; zbMATH DE number 517051 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 517046 (Why is no real title available?) | 1994-03-17 | Paper |
Constructive natural deduction and its ‘ω-set’ interpretation
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
A category-theoretic account of program modules
Mathematical Structures in Computer Science | 1992-06-25 | Paper |
Notions of computation and monads
Information and Computation | 1991-01-01 | Paper |
Kripke-style models for typed lambda calculus
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
A category-theoretic characterization of functional completeness
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4179333 (Why is no real title available?) | 1989-01-01 | Paper |
Partial morphisms in categories of effective objects
Information and Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4021100 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926901 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3904559 (Why is no real title available?) | 1984-01-01 | Paper |
The hereditary partial effective functionals and recursion theory in higher types
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3898875 (Why is no real title available?) | 1984-01-01 | Paper |
