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 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 \(\mathrm{qcb}_0\)-spaces	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
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	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
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