Vasco Brattka
Vasco Brattka
Professor, Universität der Bundeswehr München
Verified email at cca-net.de - Homepage
Title
Cited by
Cited by
Year
Computability on subsets of metric spaces
V Brattka, G Presser
Theoretical Computer Science 305 (1-3), 43-76, 2003
1822003
A tutorial on computable analysis
V Brattka, P Hertling, K Weihrauch
New computational paradigms, 425-491, 2008
1782008
Computability on subsets of Euclidean space I: Closed and compact subsets
V Brattka, K Weihrauch
Theoretical Computer Science 219 (1-2), 65-93, 1999
1481999
Weihrauch degrees, omniscience principles and weak computability
V Brattka, G Gherardi
Journal of Symbolic Logic 76 (1), 143-176, 2011
1412011
Effective choice and boundedness principles in computable analysis
V Brattka, G Gherardi
Bulletin of Symbolic Logic 17 (1), 73-117, 2011
1362011
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
1162012
Effective Borel measurability and reducibility of functions
V Brattka
Mathematical Logic Quarterly 51 (1), 19-44, 2005
1082005
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
1002012
Randomness and differentiability
V Brattka, J Miller, A Nies
Transactions of the American Mathematical Society 368 (1), 581-605, 2016
972016
Feasible real random access machines
V Brattka, P Hertling
Journal of Complexity 14 (4), 490-526, 1998
791998
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
Topological properties of real number representations
V Brattka, P Hertling
Theoretical Computer Science 284 (2), 241-257, 2002
582002
Plottable real number functions and the computable graph theorem
V Brattka
SIAM Journal on Computing 38 (1), 303-328, 2008
572008
Probabilistic computability and choice
V Brattka, G Gherardi, R Hölzl
Information and Computation 242, 249-286, 2015
562015
Computability and analysis: the legacy of Alan Turing.
J Avigad, V Brattka, R Downey
Turing's Legacy, 1-47, 2014
552014
Recursive and computable operations over topological structures
V Brattka
511999
Computable invariance
V Brattka
Theoretical Computer Science 210 (1), 3-20, 1999
501999
Computable versions of Baire’s category theorem
V Brattka
International Symposium on Mathematical Foundations of Computer Science, 224-235, 2001
462001
Towards computability of elliptic boundary value problems in variational formulation
V Brattka, A Yoshikawa
Journal of Complexity 22 (6), 858-880, 2006
422006
The system can't perform the operation now. Try again later.
Articles 1–20