| Publication | Date of Publication | Type |
|---|
| The convex hull of finitely generable subsets and its predicate transformer | 2024-12-19 | Paper |
| Recursive solution of initial value problems with temporal discretization | 2023-11-17 | Paper |
| Domain theoretic second-order Euler's method for solving initial value problems | 2022-04-29 | Paper |
| Smooth Approximation of Lipschitz Maps and Their Subgradients | 2022-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144690 | 2021-01-19 | Paper |
| Lazy computation with exact real numbers | 2019-09-26 | Paper |
| Ex post Nash equilibrium in linear Bayesian games for decision making in multi-environments | 2019-01-21 | Paper |
| Differential calculus with imprecise input and its logical framework | 2018-07-17 | Paper |
| A domain-theoretic approach to Brownian motion and general continuous stochastic processes | 2018-04-23 | Paper |
| Extensions of Domain Maps in Differential and Integral Calculus | 2018-04-23 | Paper |
| A domain-theoretic approach to Brownian motion and general continuous stochastic processes | 2017-09-07 | Paper |
| Lazy computation with exact real numbers | 2017-08-21 | Paper |
| Domain-theoretic solution of differential equations (scalar fields) | 2016-05-03 | Paper |
| A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations | 2014-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852369 | 2013-10-08 | Paper |
| A computational model for multi-variable differential calculus | 2013-06-06 | Paper |
| Computability of Partial Delaunay Triangulation and Voronoi Diagram [Extended Abstract] | 2013-04-19 | Paper |
| A Language for Differentiable Functions | 2013-03-18 | Paper |
| A differential operator and weak topology for Lipschitz maps | 2010-05-19 | Paper |
| A computable approach to measure and integration theory | 2009-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384985 | 2008-04-29 | Paper |
| A Continuous Derivative for Real-Valued Functions | 2007-11-13 | Paper |
| Denotational semantics of hybrid automata | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| A Domain-Theoretic Account of Picard's Theorem | 2007-04-04 | Paper |
| Bisimulation for labelled Markov processes | 2006-10-10 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Domain theory and differential calculus (functions of one variable) | 2005-03-21 | Paper |
| An extension of Gleason's theorem for quantum computation | 2005-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813225 | 2004-08-13 | Paper |
| Integration in Real PCF | 2003-01-14 | Paper |
| Foundation of a computable solid modelling. | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757806 | 2001-12-04 | Paper |
| An Extension Result for Continuous Valuations | 2000-12-13 | Paper |
| Domains for Computation in Mathematics, Physics and Exact Real Arithmetic | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938619 | 2000-06-14 | Paper |
| Semi-pullbacks and bisimulation in categories of Markov processes | 2000-05-30 | Paper |
| When Scott is weak on the top | 1999-07-19 | Paper |
| The generalized Riemann integral on locally compact spaces | 1999-06-24 | Paper |
| Computable Banach spaces via domain theory | 1999-06-21 | Paper |
| A domain-theoretic approach to computability on the real line | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222962 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222965 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222886 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222754 | 1998-12-10 | Paper |
| A computational model for metric spaces | 1998-08-13 | Paper |
| Domain theory and integration | 1997-02-27 | Paper |
| Power domains and iterated function systems | 1996-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870826 | 1996-07-22 | Paper |
| Dynamical systems, measures, and fractals via domain theory | 1996-04-01 | Paper |
| Stability of the unfolding of the predator-prey model | 1995-06-11 | Paper |
| Information categories | 1994-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282568 | 1994-06-02 | Paper |
| I-categories as a framework for solving domain equations | 1993-12-20 | Paper |
| The stable classes and the codimension-one bifurcations of the planar replicator system | 1992-09-27 | Paper |
| Equivalence of degenerate Hopf bifurcations | 1992-06-25 | Paper |
