| Publication | Date of Publication | Type |
|---|
Fast online multiplication of real numbers
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Admissibly Represented Spaces and Qcb-Spaces
Theory and Applications of Computability | 2022-01-26 | Paper |
Bounded time computation on metric spaces and Banach spaces
| 2021-01-19 | Paper |
Overt choice
Computability | 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
Annals of Pure and Applied Logic | 2017-05-18 | Paper |
Some hierarchies of \(\mathsf{QCB}_0\)-spaces
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Observationally-induced effect monads: upper and lower powerspace constructions
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Average-case bit-complexity theory of real functions
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
Computability | 2016-04-13 | Paper |
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
Evolving Computability | 2015-10-20 | Paper |
Observationally-induced lower and upper powerspace constructions
Journal of Logical and Algebraic Methods in Programming | 2015-08-21 | Paper |
Hyperprojective hierarchy of qcb0-spaces
Computability | 2015-07-01 | Paper |
Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces
Language, Life, Limits | 2015-02-25 | Paper |
A Hofmann-Mislove Theorem for Scott open sets
| 2015-01-26 | Paper |
A convenient category of domains
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Probabilistic observations and valuations (extended abstract)
| 2013-10-08 | Paper |
Admissible representations of probability measures
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
On the relationship between filter spaces and weak limit spaces
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
A natural weak limit space with admissible representation which is not a limit space
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
A note on closed subsets in quasi-zero-dimensional qcb-spaces. (Extended abstract)
| 2012-09-28 | Paper |
A note on closed subsets in quasi-zero-dimensional QCB-spaces
| 2011-02-10 | Paper |
N^N^N does not satisfy Normann's condition
| 2010-10-12 | Paper |
The sequential topology on is not regular
Mathematical Structures in Computer Science | 2009-11-11 | Paper |
An effective Tietze-Urysohn theorem for QCB-spaces
| 2009-10-28 | Paper |
On the relationship between filter spaces and weak limit spaces
| 2008-08-08 | Paper |
Computable metrization
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Admissible representations for probability measures
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Two preservation results for countable products of sequential spaces
Mathematical Structures in Computer Science | 2007-04-12 | Paper |
Representing probability measures using probabilistic processes
Journal of Complexity | 2007-02-08 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Compactly generated domain theory
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Spaces allowing Type‐2 Complexity Theory revisited
Mathematical Logic Quarterly | 2005-02-16 | Paper |
scientific article; zbMATH DE number 1969324 (Why is no real title available?)
| 2003-08-24 | Paper |
Effectivity in Spaces with Admissible Multirepresentations
| 2003-04-03 | Paper |
Extended admissibility.
Theoretical Computer Science | 2002-07-31 | Paper |
scientific article; zbMATH DE number 1746044 (Why is no real title available?)
| 2002-05-27 | Paper |
Online computations of differentiable functions
Theoretical Computer Science | 1999-06-21 | Paper |
