| Publication | Date of Publication | Type |
|---|
| Nearly computable real numbers | 2024-04-15 | Paper |
| Remarks on the effective Jordan decomposition | 2023-04-20 | Paper |
| EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces | 2022-12-08 | Paper |
| Topological properties of the binary supremum function | 2022-07-05 | Paper |
| On the computational complexity of the range computation problem | 2020-12-15 | Paper |
| Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations | 2020-11-09 | Paper |
| EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms | 2019-08-09 | Paper |
| EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness | 2019-08-09 | Paper |
| Clarke's generalized gradient and Edalat's L-derivative | 2017-05-18 | Paper |
| Effective subsets under homeomorphisms of \(\mathbb{R}^n\) | 2015-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982348 | 2015-04-09 | Paper |
| Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time | 2015-01-15 | Paper |
| A Comparison of Certain Representations of Regularly Closed Sets | 2013-04-19 | Paper |
| Complexity Issues for Preorders on Finite Labeled Forests | 2011-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3575432 | 2010-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505893 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384984 | 2008-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422235 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310882 | 2007-10-15 | Paper |
| A sequentially computable function that is not effectively continuous at any point | 2007-02-08 | Paper |
| A Banach-Mazur computable but not Markov computable function on the computable real numbers | 2005-02-23 | Paper |
| Is the Mandelbrot set computable? | 2005-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737223 | 2004-08-11 | Paper |
| Random elements in effective topological spaces with measure. | 2003-08-19 | Paper |
| Topological complexity of zero finding with algebraic operations | 2003-05-14 | Paper |
| Randomness on full shift spaces | 2003-04-28 | Paper |
| Topological properties of real number representations. | 2002-07-31 | Paper |
| A lower bound for range enclosure in interval arithmetic | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531981 | 2002-05-27 | Paper |
| A limitation for underestimation via twin arithmetic | 2001-12-03 | Paper |
| Nonlinear Lebesgue and Itô integration problems of high complexity | 2001-10-14 | Paper |
| Recursively enumerable reals and Chaitin \(\Omega\) numbers | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520525 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520529 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520531 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938551 | 2000-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955604 | 2000-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942048 | 2000-03-19 | Paper |
| Standard representations of real numbers | 1999-11-29 | Paper |
| An effective Riemann Mapping Theorem | 1999-06-21 | Paper |
| Feasible real random access machines | 1999-06-13 | Paper |
| A Real Number Structure that is Effectively Categorical | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217598 | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219053 | 1999-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838836 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837995 | 1998-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381402 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355686 | 1997-11-20 | Paper |
| Topological complexity with continuous operations | 1997-05-25 | Paper |
| Small spanning sets of cusp forms | 1996-03-31 | Paper |
| Regainingly approximable numbers and sets | 0001-01-03 | Paper |
