Vasco Brattka

	2012
67		Vasco Brattka, Guido Gherardi, Alberto Marcone: The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. Ann. Pure Appl. Logic 163(6): 623-655 (2012)
66		Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen: Foreword. Ann. Pure Appl. Logic 163(8): 973-974 (2012)
65		Vasco Brattka, Matthew de Brecht, Arno Pauly: Closed choice and a Uniform Low Basis Theorem. Ann. Pure Appl. Logic 163(8): 986-1008 (2012)
	2011
64		Vasco Brattka, Guido Gherardi: Effective choice and boundedness principles in computable analysis. Bulletin of Symbolic Logic 17(1): 73-117 (2011)
63		Vasco Brattka, Guido Gherardi, Alberto Marcone: The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma CoRR abs/1101.0792: (2011)
62		Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki: Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1(10): 14-36 (2011)
61		Vasco Brattka, Guido Gherardi: Weihrauch degrees, omniscience principles and weak computability. J. Symb. Log. 76(1): 143-176 (2011)
	2010
60		Vasco Brattka, Arno Pauly: Computation with Advice CCA 2010: 41-55
59		Vasco Brattka, Ruth Dillhage: Computability of finite-dimensional linear subspaces and best approximation. Ann. Pure Appl. Logic 162(3): 182-193 (2010)
	2009
58		Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Springer 2009
57		Vasco Brattka, Guido Gherardi: Effective Choice and Boundedness Principles in Computable Analysis. CCA 2009
56		Vasco Brattka, Guido Gherardi: Weihrauch Degrees, Omniscience Principles and Weak Computability. CCA 2009
55		Vasco Brattka, Guido Gherardi: A method to evaluate the computational complexity of the theorems from functional analysis. ICTCS 2009: 59-61
54		Vasco Brattka: A computable version of Banach's Inverse Mapping Theorem. Ann. Pure Appl. Logic 157(2-3): 85-96 (2009)
53		Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. J. Log. Comput. 19(1): 45-76 (2009)
52		Vasco Brattka, Pieter Collins, Robert Rettinger: Computability and Complexity in Analysis. J. UCS 15(6): 1143-1144 (2009)
	2008
51		Vasco Brattka: Borel complexity and computability of the Hahn-Banach Theorem. Arch. Math. Log. 46(7-8): 547-564 (2008)
50		Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch: Preface. Electr. Notes Theor. Comput. Sci. 221: 1 (2008)
49		Ruth Dillhage, Vasco Brattka: Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. Electr. Notes Theor. Comput. Sci. 221: 45-60 (2008)
48		Margaret Archibald, Vasco Brattka, Clemens Heuberger: Randomness with Respect to the Signed-Digit Representation. Fundam. Inform. 83(1-2): 1-19 (2008)
47		Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi: Preface. J. Log. Algebr. Program. 76(2): (2008)
46		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Computability and Complexity in Analysis. J. UCS 14(6): 800 (2008)
45		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54(5): 453 (2008)
44		Vasco Brattka: Plottable Real Number Functions and the Computable Graph Theorem. SIAM J. Comput. 38(1): 303-328 (2008)
	2007
43		Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. CiE 2007: 83-97
42		Vasco Brattka, Ruth Dillhage: On Computable Compact Operators on Banach Spaces. Electr. Notes Theor. Comput. Sci. 167: 365-386 (2007)
41		Vasco Brattka, Christiane Frougny, Norbert Th. Müller: Foreword. ITA 41(1): 1-2 (2007)
40		Vasco Brattka, Ruth Dillhage: Computability of compact operators on computable Banach spaces with bases. Math. Log. Q. 53(4-5): 345-364 (2007)
	2006
39		Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki: Computability and complexity in analysis. J. Complexity 22(6): 728 (2006)
38		Vasco Brattka, Atsushi Yoshikawa: Towards computability of elliptic boundary value problems in variational formulation. J. Complexity 22(6): 858-880 (2006)
	2005
37		Vasco Brattka: Some Aspects of Computable Functional Analysis. CCA 2005
36		Vasco Brattka, Matthias Schröder: Computing with Sequences, Weak Topologies and the Axiom of Choice. CSL 2005: 462-476
35		Vasco Brattka, Ludwig Staiger, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 120: 1- (2005)
34		Vasco Brattka: On the Borel Complexity of Hahn-Banach Extensions. Electr. Notes Theor. Comput. Sci. 120: 3-16 (2005)
33		Vasco Brattka, Ruth Dillhage: Computability of the Spectrum of Self-Adjoint Operators. J. UCS 11(12): 1884-1900 (2005)
32		Vasco Brattka: Effective Borel measurability and reducibility of functions. Math. Log. Q. 51(1): 19-44 (2005)
	2004
31		Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong: Preface: MLQ - Math. Log. Quart. 4-5/2004. Math. Log. Q. 50(4-5): 327-328 (2004)
30		Vasco Brattka, Vladik Kreinovich: Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003. Reliable Computing 10(1): 75-80 (2004)
29		Martin Ziegler, Vasco Brattka: Computability in linear algebra. Theor. Comput. Sci. 326(1-3): 187-211 (2004)
	2003
28		Vasco Brattka: The Inversion Problem for Computable Linear Operators. STACS 2003: 391-402
27		Vasco Brattka: Recursive quasi-metric spaces. Theor. Comput. Sci. 305(1-3): 17-42 (2003)
26		Vasco Brattka, Gero Presser: Computability on subsets of metric spaces. Theor. Comput. Sci. 305(1-3): 43-76 (2003)
	2002
25		Vasco Brattka: Random Numbers and an Incomplete Immune Recursive Set. ICALP 2002: 950-961
24		Vasco Brattka, Martin Ziegler: Computability of Linear Equations. IFIP TCS 2002: 95-106
23		Vasco Brattka: Computing Uniform Bounds. Electr. Notes Theor. Comput. Sci. 66(1): 13-24 (2002)
22		Vasco Brattka, Matthias Schröder, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 66(1): 225-226 (2002)
21		Vasco Brattka: Some Notes on Fine Computability. J. UCS 8(3): 382-395 (2002)
20		Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong: Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48(S1): (2002)
19		Vasco Brattka, Peter Hertling: Topological properties of real number representations. Theor. Comput. Sci. 284(2): 241-257 (2002)
	2001
18		Jens Blanck, Vasco Brattka, Peter Hertling: Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers Springer 2001
17		Martin Ziegler, Vasco Brattka: Turing computability of (non-)linear optimization. CCCG 2001: 181-184
16		Vasco Brattka: Computable Versions of Baire's Category Theorem. MFCS 2001: 224-235
	2000
15		Martin Ziegler, Vasco Brattka: A Computable Spectral Theorem. CCA 2000: 378-388
14		Martin Ziegler, Vasco Brattka: Computing the Dimension of Linear Subspaces. SOFSEM 2000: 450-458
13		Vasco Brattka: The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability. Words, Languages & Combinatorics 2000: 63-72
12		Vasco Brattka: Recursion and Computability over Topological Structures. Electr. Notes Theor. Comput. Sci. 40: 5 (2000)
	1999
11		Vasco Brattka, Xizhong Zheng, Klaus Weihrauch: Approaches to Effective Semi-Continuity of Real Functions. Math. Log. Q. 45: 481-496 (1999)
10		Vasco Brattka: Computable Invariance. Theor. Comput. Sci. 210(1): 3-20 (1999)
9		Vasco Brattka, Klaus Weihrauch: Computability on Subsets of Euclidean Space I: Closed and Compact Subsets. Theor. Comput. Sci. 219(1-2): 65-93 (1999)
	1998
8		Vasco Brattka, Klaus Weihrauch, Xizhong Zheng: Approaches to Effective Semi-continuity of Real Functions. COCOON 1998: 184-193
7		Vasco Brattka, Klaus Weihrauch: Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. MCU (2) 1998: 215-234
6		Vasco Brattka, Peter Hertling: Feasible Real Random Access Machines. J. Complexity 14(4): 490-526 (1998)
	1997
5		Vasco Brattka: Computable Invariance. COCOON 1997: 146-155
4		Vasco Brattka: Order-free Recursion on the Real Numbers. Math. Log. Q. 43: 216-234 (1997)
	1996
3		Vasco Brattka: Computable Invariance. CCA 1996
2		Vasco Brattka, Peter Hertling: Feasible Real Random Access Machines. SOFSEM 1996: 335-342
1		Vasco Brattka: Recursive Characterization of Computable Real-Valued Functions and Relations. Theor. Comput. Sci. 162(1): 45-77 (1996)

Coauthor Index

1	Margaret Archibald	[48] [58]
2	Ulrich Berger	[62] [66]
3	Jens Blanck	[18]
4	Matthew de Brecht	[65]
5	Pieter Collins	[52]
6	Ruth Dillhage	[33] [40] [42] [49] [50] [59]
7	Christiane Frougny	[41]
8	Guido Gherardi	[43] [53] [55] [56] [57] [61] [63] [64] [67]
9	Valentin Goranko	[58]
10	Tanja Grubba	[50]
11	Peter Hertling	[2] [6] [18] [19] [20] [31] [39]
12	Clemens Heuberger	[48]
13	Hajime Ishihara	[45] [46]
14	Gerhard Jäger	[47]
15	Angela Klutsch	[50]
16	Ker-I Ko	[31] [39]
17	Vladik Kreinovich	[30]
18	Hans-Peter A. Künzi	[47]
19	Benedikt Löwe	[58]
20	Alberto Marcone	[63] [67]
21	Andrei S. Morozov	[66]
22	Norbert Th. Müller	[41]
23	Arno Pauly	[60] [65]
24	Gero Presser	[26]
25	Robert Rettinger	[52]
26	Matthias Schröder	[22] [36] [45] [46]
27	Victor L. Selivanov	[62]
28	Dieter Spreen	[62] [66]
29	Ludwig Staiger	[35]
30	Hideki Tsuiki	[39] [62]
31	Klaus Weihrauch	[7] [8] [9] [11] [22] [35]
32	Mariko Yasugi	[20]
33	Atsushi Yoshikawa	[38]
34	Xizhong Zheng	[8] [11]
35	Ning Zhong	[20] [31] [45] [46]
36	Martin Ziegler	[14] [15] [17] [24] [29]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page