Matthias Schröder

Available identifiers

zbMath Open schroder.matthiasMaRDI QIDQ864425

List of research outcomes

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 \(\mathsf{QCB}_0\)-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 \(\mathrm{qcb}_0\)-spaces	2016-04-13	Paper
Base-complexity classifications of \(\mathrm{qcb}_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 \(\mathrm{qcb}_{0}\)-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
Probabilistic observations and valuations (extended abstract)	2013-10-08	Paper
Admissible representations of probability measures	2013-05-10	Paper
On the relationship between filter spaces and weak limit spaces	2013-05-03	Paper
An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)	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
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	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	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

Research outcomes over time

This page was built for person: Matthias Schröder