Matthias Schröder

ORCID

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 8

Top Venues

CoRR

CiE

Comput.

J. Log. Algebraic Methods Program.

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Matthias Schröder
Admissibly Represented Spaces and Qcb-Spaces. CoRR (2020)
Matthew de Brecht, Arno Pauly, Matthias Schröder
Overt choice. Comput. 9 (3-4) (2020)
Matthew de Brecht, Arno Pauly, Matthias Schröder
Overt choice. CoRR (2019)
Willem L. Fouché, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, Martin Ziegler
Randomized Computation of Continuous Data: Is Brownian Motion Computable? CoRR (2019)
Heiko Radatz, Matthias Schröder, Christian Becker, Christian Bramsiepe, Gerhard Schembecker
Selection of equipment modules for a flexible modular production plant by a multi-objective evolutionary algorithm. Comput. Chem. Eng. 123 (2019)
Matthias Schröder, Florian Steinberg
Bounded time computation on metric spaces and Banach spaces. LICS (2017)
Matthias Schröder, Florian Steinberg
Bounded time computation on metric spaces and Banach spaces. CoRR (2017)
Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. Ann. Pure Appl. Log. 168 (8) (2017)
Matthew de Brecht, Matthias Schröder, Victor L. Selivanov
-Spaces. CiE (2015)
Matthias Schröder, Victor L. Selivanov
-spaces. Math. Struct. Comput. Sci. 25 (8) (2015)
Matthias Schröder, Victor L. Selivanov
-spaces. Comput. 4 (1) (2015)
Ingo Battenfeld, Matthias Schröder
Observationally-induced lower and upper powerspace constructions. J. Log. Algebraic Methods Program. 84 (5) (2015)
Matthias Schröder, Florian Steinberg, Martin Ziegler
Average-Case Bit-Complexity Theory of Real Functions. MACIS (2015)
Matthias Schröder, Victor L. Selivanov
-Spaces. CiE (2014)
Matthias Schröder, Victor L. Selivanov
-spaces. CoRR (2014)
Matthias Schröder, Victor L. Selivanov
-Spaces CoRR (2013)
Ingo Battenfeld, Matthias Schröder
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. MFPS (2011)
Matthias Schröder
does not satisfy Normann's condition CoRR (2010)
Matthias Schröder
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces. J. Univers. Comput. Sci. 16 (18) (2010)
Matthias Schröder
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract). CCA (2009)
Matthias Schröder
is not regular. Math. Struct. Comput. Sci. 19 (5) (2009)
Matthias Schröder
An Effective Tietze-Urysohn Theorem for QCB-Spaces. J. Univers. Comput. Sci. 15 (6) (2009)
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54 (5) (2008)
Matthias Schröder
On the Relationship between Filter Spaces and Weak Limit Spaces. Electron. Notes Theor. Comput. Sci. 202 (2008)
Matthias Schröder
An Effective Tietze-Urysohn Theorem for QCB-Spaces: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 221 (2008)
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Computability and Complexity in Analysis. J. Univers. Comput. Sci. 14 (6) (2008)
Matthias Schröder
On the Relationship between Filter Spaces and Weak Limit Spaces. J. Univers. Comput. Sci. 14 (6) (2008)
Tanja Grubba, Matthias Schröder, Klaus Weihrauch
Computable metrization. Math. Log. Q. 53 (4-5) (2007)
Matthias Schröder
Admissible representations for probability measures. Math. Log. Q. 53 (4-5) (2007)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A Convenient Category of Domains. Electron. Notes Theor. Comput. Sci. 172 (2007)
Matthias Schröder, Alex Simpson
Two preservation results for countable products of sequential spaces. Math. Struct. Comput. Sci. 17 (1) (2007)
Matthias Schröder
Admissible Representations of Probability Measures. Electron. Notes Theor. Comput. Sci. 167 (2007)
Matthias Schröder, Alex Simpson
Representing probability measures using probabilistic processes. J. Complex. 22 (6) (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
Compactly generated domain theory. Math. Struct. Comput. Sci. 16 (2) (2006)
Matthias Schröder
Admissible Representations in Computable Analysis. CiE (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A convenient category of domains. Computational Structures for Modelling Space, Time and Causality (2006)
Matthias Schröder, Alex Simpson
Probabilistic Observations and Valuations: (Extended Abstract). MFPS (2005)
Vasco Brattka, Matthias Schröder
Computing with Sequences, Weak Topologies and the Axiom of Choice. CSL (2005)
Matthias Schröder, Alex K. Simpson
Representing Probability Measures using Probabilistic Processes. CCA (2005)
Daren Kunkle, Matthias Schröder
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory. Electron. Notes Theor. Comput. Sci. 120 (2005)
Matthias Schröder
Spaces allowing Type-2 Complexity Theory revisited. Math. Log. Q. 50 (4-5) (2004)
Matthias Schröder
Effectivity in Spaces with Admissible Multirepresentations. Math. Log. Q. 48 (S1) (2002)
Matthias Schröder
A Natural Weak Limit Space with Admissible Representation which is not a Limit Space. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Vasco Brattka, Matthias Schröder, Klaus Weihrauch
Preface. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Matthias Schröder
Extended admissibility. Theor. Comput. Sci. 284 (2) (2002)
Matthias Schröder
Admissible Representations of Limit Spaces. CCA (2000)
Matthias Schröder
Online Computations of Differentiable Functions. Theor. Comput. Sci. 219 (1-2) (1999)
Matthias Schröder
Fast Online Multiplication of Real Numbers. STACS (1997)
Matthias Schröder
Fast Online Real Multiplication. CCA (1996)

Matthias Schröder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Schröder