Concepedia

Vasco Brattka

VB

25

Publications

1.2K

Citations

20

H-Index

1996

Active since

Affiliations

University of Cape Town(Current)

University of Hagen

Universität der Bundeswehr München

University of Auckland

Swansea University

Vasco Brattka is an author at University of Cape Town specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityAutomated ReasoningFormal MethodsFunctional AnalysisDiscrete MathematicsRepresentation TheoryProbabilityFormal Verification

Publications per year

1996–2020

25

Publications

25

Computability on subsets of metric spaces

Vasco Brattka, Gero Presser · Theoretical Computer Science · 2003 · 161 citations

Engineering, Automated Reasoning, Computational Model Theory +6

Computability on subsets of Euclidean space I: closed and compact subsets

Vasco Brattka, Klaus Weihrauch · Theoretical Computer Science · 1999 · 142 citations

Euclidean Space, Computational Complexity Theory, Compact Subsets +6

Closed choice and a Uniform Low Basis Theorem

Vasco Brattka, Matthew de Brecht, Arno Pauly · Annals of Pure and Applied Logic · 2012 · 99 citations · Full text

Combinatorial Design, Extremal Set Theory, Set-theoretic Topology +2

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Vasco Brattka, Guido Gherardi, Alberto Marcone · Annals of Pure and Applied Logic · 2011 · 96 citations · Full text

Bolzano–weierstrass Theorem

Effective Borel measurability and reducibility of functions

Vasco Brattka · Mathematical logic quarterly · 2004 · 91 citations

Effective Borel Measurability, Completeness Result, Measure Theory +6

Rows per page

1–5 of 25