| Publication | Date of Publication | Type |
|---|
| Fast online multiplication of real numbers | 2022-11-09 | Paper |
| Admissibly Represented Spaces and Qcb-Spaces | 2022-01-26 | Paper |
| Bounded time computation on metric spaces and Banach spaces | 2021-01-19 | Paper |
| Overt choice | 2020-11-09 | Paper |
| Randomized Computation of Continuous Data: Is Brownian Motion Computable? | 2019-06-16 | Paper |
| Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma | 2017-05-18 | Paper |
| Some hierarchies of QCB0-spaces | 2016-07-27 | Paper |
| Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions | 2016-07-15 | Paper |
| Average-Case Bit-Complexity Theory of Real Functions | 2016-05-25 | Paper |
| Base-complexity classifications of qcb0-spaces1 | 2016-04-13 | Paper |
| Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces | 2015-10-20 | Paper |
| Observationally-induced lower and upper powerspace constructions | 2015-08-21 | Paper |
| Hyperprojective hierarchy of qcb0-spaces | 2015-07-01 | Paper |
| Hyperprojective Hierarchy of qcb0-Spaces | 2015-02-25 | Paper |
| A Hofmann-Mislove Theorem for Scott open sets | 2015-01-26 | Paper |
| A Convenient Category of Domains | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852372 | 2013-10-08 | Paper |
| Admissible Representations of Probability Measures | 2013-05-10 | Paper |
| An Effective Tietze-Urysohn Theorem for QCB-Spaces | 2013-05-03 | Paper |
| On the Relationship between Filter Spaces and Weak Limit Spaces | 2013-05-03 | Paper |
| A Natural Weak Limit Space with Admissible Representation which is not a Limit Space | 2013-04-19 | Paper |
| A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract) | 2012-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075221 | 2011-02-10 | Paper |
| N^N^N does not satisfy Normann's condition | 2010-10-12 | Paper |
| The sequential topology on is not regular | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639067 | 2009-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518441 | 2008-08-08 | Paper |
| Computable metrization | 2007-09-17 | Paper |
| Admissible representations for probability measures | 2007-09-17 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Two preservation results for countable products of sequential spaces | 2007-04-12 | Paper |
| Representing probability measures using probabilistic processes | 2007-02-08 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Compactly generated domain theory | 2006-08-10 | Paper |
| Spaces allowing Type‐2 Complexity Theory revisited | 2005-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422786 | 2003-08-24 | Paper |
| Effectivity in Spaces with Admissible Multirepresentations | 2003-04-03 | Paper |
| Extended admissibility. | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531993 | 2002-05-27 | Paper |
| Online computations of differentiable functions | 1999-06-21 | Paper |
