| Publication | Date of Publication | Type |
|---|
Concurrent Gaussian Elimination
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Extracting total Amb programs from proofs
Programming Languages and Systems | 2023-08-03 | Paper |
| scientific article; zbMATH DE number 7650265 (Why is no real title available?) | 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
Annals of Pure and Applied Logic | 2021-01-25 | Paper |
Logic for Gray-code computation
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Imaginary cubes and their puzzles
Algorithms | 2019-03-26 | Paper |
Properties of domain representations of spaces through dyadic subbases
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
Sudoku colorings of a 16-cell pre-fractal
Lecture Notes in Computer Science | 2017-02-01 | Paper |
| A stream calculus of bottomed sequences for real number computation | 2016-04-12 | Paper |
Imaginary hypercubes
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Domain representations induced by dyadic subbases
Logical Methods in Computer Science | 2015-04-22 | Paper |
| Uniform domains and uniform spaces (abstract) | 2013-10-10 | Paper |
| Every Separable Metrizable Space has a Proper Dyadic Subbase | 2013-05-15 | Paper |
On finite-time computability preserving conversions
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Representations of complete uniform spaces via uniform domains
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
Machine Learning | 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
Topology and its Applications | 2012-04-13 | Paper |
Independent subbases and non-redundant codings of separable metrizable spaces
Topology and its Applications | 2011-01-12 | Paper |
Learning figures with the Hausdorff metric by fractals
Lecture Notes in Computer Science | 2010-10-01 | Paper |
Hyperbolic topology of normed linear spaces
Topology and its Applications | 2009-12-03 | Paper |
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions
Infinity in Logic and Computation | 2009-11-12 | Paper |
| scientific article; zbMATH DE number 5622695 (Why is no real title available?) | 2009-10-28 | Paper |
SUDOKU Colorings of the Hexagonal Bipyramid Fractal
Computational Geometry and Graph Theory | 2009-01-13 | Paper |
Lawson topology of the space of formal balls and the hyperbolic topology
Theoretical Computer Science | 2008-10-21 | Paper |
| Dyadic subbases and efficiency properties of the induced \(\{0,1,\perp\}^ \omega\)-representations. | 2006-01-30 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Real number computation with committed choice logic programming languages
The Journal of Logic and Algebraic Programming | 2005-06-01 | Paper |
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Mathematical Structures in Computer Science | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2077113 (Why is no real title available?) | 2004-07-01 | Paper |
A domain-theoretic semantics of lax generic functions.
Theoretical Computer Science | 2003-07-29 | Paper |
Real number computation through Gray code embedding.
Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1746047 (Why is no real title available?) | 2002-05-27 | Paper |
| scientific article; zbMATH DE number 1497800 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1479619 (Why is no real title available?) | 2000-07-20 | Paper |
A computationally adequate model for overloading via domain-valued functors
Mathematical Structures in Computer Science | 1999-03-22 | Paper |
