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 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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthias Schröder