Vasco Brattka
Vasco Brattka
Professor, Universität der Bundeswehr München
Verified email at cca-net.de - Homepage
Title
Cited by
Cited by
Year
A tutorial on computable analysis
V Brattka, P Hertling, K Weihrauch
New computational paradigms, 425-491, 2008
1882008
Computability on subsets of metric spaces
V Brattka, G Presser
Theoretical Computer Science 305 (1-3), 43-76, 2003
1862003
Computability on subsets of Euclidean space I: Closed and compact subsets
V Brattka, K Weihrauch
Theoretical Computer Science 219 (1-2), 65-93, 1999
1531999
Weihrauch degrees, omniscience principles and weak computability
V Brattka, G Gherardi
The Journal of Symbolic Logic 76 (1), 143-176, 2011
1502011
Effective choice and boundedness principles in computable analysis
V Brattka, G Gherardi
Bulletin of Symbolic Logic 17 (1), 73-117, 2011
1422011
Closed choice and a uniform low basis theorem
V Brattka, M De Brecht, A Pauly
Annals of Pure and Applied Logic 163 (8), 986-1008, 2012
1232012
Effective Borel measurability and reducibility of functions
V Brattka
Mathematical Logic Quarterly 51 (1), 19-44, 2005
1132005
The Bolzano–Weierstrass theorem is the jump of weak Kőnig’s lemma
V Brattka, G Gherardi, A Marcone
Annals of Pure and Applied Logic 163 (6), 623-655, 2012
1022012
Randomness and differentiability
V Brattka, JS Miller, A Nies
arXiv preprint arXiv:1104.4465, 2011
1012011
Feasible real random access machines
V Brattka, P Hertling
Journal of Complexity 14 (4), 490-526, 1998
811998
Recursive characterization of computable real-valued functions and relations
V Brattka
Theoretical Computer Science 162 (1), 45-77, 1996
741996
Computability over topological structures
V Brattka
Computability and Models, 93-136, 2003
642003
Computability and analysis: the legacy of Alan Turing.
J Avigad, V Brattka, R Downey
Turing's Legacy, 1-47, 2014
622014
Probabilistic computability and choice
V Brattka, G Gherardi, R Hölzl
Information and Computation 242, 249-286, 2015
612015
Plottable real number functions and the computable graph theorem
V Brattka
SIAM Journal on Computing 38 (1), 303-328, 2008
572008
Topological properties of real number representations
V Brattka, P Hertling
Theoretical Computer Science 284 (2), 241-257, 2002
572002
Computable invariance
V Brattka
Theoretical Computer Science 210 (1), 3-20, 1999
511999
Recursive and computable operations over topological structures
V Brattka
501999
Computable versions of Baire’s category theorem
V Brattka
International Symposium on Mathematical Foundations of Computer Science, 224-235, 2001
472001
Towards computability of elliptic boundary value problems in variational formulation
V Brattka, A Yoshikawa
Journal of Complexity 22 (6), 858-880, 2006
432006
The system can't perform the operation now. Try again later.
Articles 1–20