Dr. Matthias Schröder
Matthias Schröder
Universität der Bundeswehr München
Fakultät für Informatik
Institut für Theoretische Informatik, Mathematik
und Operations Research
D-85577 Neubiberg
Gebäude 41/400, Raum 1409
Tel.: +49-89-6004-2418
Main Research Area:
Computable Analysis, Sequential Topological Spaces
Selected publications:
- Extended Admissibility. Theoretical Computer Science 284, 519-538 (2002)
- The sequential topology on NN^Nis not regular. Math. Struct. in Comp. Science 19, 943-957 (2009)
- NN^Ndos not satisfy Normann's condition (2010) (pdf-file)
- Spaces allowing Type-2 Complexity Theory revisited. Math. Log. Quart. 50, 443-459 (2004)
- An effective Tietze-Urysohn Theorem for QCB-spaces. J.UCS 15(6), 1317-1336 (2009)
PhD-Thesis:
Admissible Representations for Continuous Computations (pdf-file)
