| Publication | Date of Publication | Type |
|---|
| Concurrent Gaussian Elimination | 2023-08-04 | Paper |
| Extracting total Amb programs from proofs | 2023-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875594 | 2023-02-03 | Paper |
| \textsc{Prawf}: an interactive proof system for program extraction | 2022-12-16 | Paper |
| Projected images of the Sierpinski tetrahedron and other fractal imaginary cubes | 2022-05-25 | Paper |
| Intuitionistic fixed point logic | 2021-01-25 | Paper |
| Logic for Gray-code Computation | 2020-04-03 | Paper |
| Imaginary cubes and their puzzles | 2019-03-26 | Paper |
| Properties of domain representations of spaces through dyadic subbases | 2017-11-22 | Paper |
| Sudoku Colorings of a 16-Cell Pre-fractal | 2017-02-01 | Paper |
| A stream calculus of bottomed sequences for real number computation | 2016-04-12 | Paper |
| Imaginary Hypercubes | 2015-09-14 | Paper |
| Domain Representations Induced by Dyadic Subbases | 2015-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851547 | 2013-10-10 | Paper |
| Every Separable Metrizable Space has a Proper Dyadic Subbase | 2013-05-15 | Paper |
| On Finite-time Computability Preserving Conversions | 2013-05-03 | Paper |
| Representations of Complete Uniform Spaces via Uniform Domains | 2013-04-19 | Paper |
| Learning figures with the Hausdorff metric by fractals -- towards computable binary classification | 2013-03-28 | Paper |
| Random Iteration Algorithm for Graph-Directed Sets | 2012-09-28 | Paper |
| Unimodal maps as boundary restrictions of two-dimensional full-folding maps | 2012-04-13 | Paper |
| Independent subbases and non-redundant codings of separable metrizable spaces | 2011-01-12 | Paper |
| Learning Figures with the Hausdorff Metric by Fractals | 2010-10-01 | Paper |
| Hyperbolic topology of normed linear spaces | 2009-12-03 | Paper |
| Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639069 | 2009-10-28 | Paper |
| SUDOKU Colorings of the Hexagonal Bipyramid Fractal | 2009-01-13 | Paper |
| Lawson topology of the space of formal balls and the hyperbolic topology | 2008-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3368439 | 2006-01-30 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Real number computation with committed choice logic programming languages | 2005-06-01 | Paper |
| Compact metric spaces as minimal-limit sets in domains of bottomed sequences | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470496 | 2004-07-01 | Paper |
| A domain-theoretic semantics of lax generic functions. | 2003-07-29 | Paper |
| Real number computation through Gray code embedding. | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531996 | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499218 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490732 | 2000-07-20 | Paper |
| A computationally adequate model for overloading via domain-valued functors | 1999-03-22 | Paper |
