Vasco Brattka

	2009
52		Vasco Brattka: A computable version of Banach's Inverse Mapping Theorem. Ann. Pure Appl. Logic 157(2-3): 85-96 (2009)
51		Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. J. Log. Comput. 19(1): 45-76 (2009)
	2008
50		Vasco Brattka: Borel complexity and computability of the Hahn-Banach Theorem. Arch. Math. Log. 46(7-8): 547-564 (2008)
49		Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch: Preface. Electr. Notes Theor. Comput. Sci. 221: 1 (2008)
48		Ruth Dillhage, Vasco Brattka: Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. Electr. Notes Theor. Comput. Sci. 221: 45-60 (2008)
47		Margaret Archibald, Vasco Brattka, Clemens Heuberger: Randomness with Respect to the Signed-Digit Representation. Fundam. Inform. 83(1-2): 1-19 (2008)
46		Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi: Preface. J. Log. Algebr. Program. 76(2): (2008)
45		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Computability and Complexity in Analysis. J. UCS 14(6): 800 (2008)
44		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54(5): 453 (2008)
43		Vasco Brattka: Plottable Real Number Functions and the Computable Graph Theorem. SIAM J. Comput. 38(1): 303-328 (2008)
	2007
42		Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. CiE 2007: 83-97
41		Vasco Brattka, Ruth Dillhage: On Computable Compact Operators on Banach Spaces. Electr. Notes Theor. Comput. Sci. 167: 365-386 (2007)
40		Vasco Brattka, Christiane Frougny, Norbert Th. Müller: Foreword. ITA 41(1): 1-2 (2007)
39		Vasco Brattka, Ruth Dillhage: Computability of compact operators on computable Banach spaces with bases. Math. Log. Q. 53(4-5): 345-364 (2007)
	2006
38		Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki: Computability and complexity in analysis. J. Complexity 22(6): 728 (2006)
37		Vasco Brattka, Atsushi Yoshikawa: Towards computability of elliptic boundary value problems in variational formulation. J. Complexity 22(6): 858-880 (2006)
	2005
36		Vasco Brattka: Some Aspects of Computable Functional Analysis. CCA 2005
35		Vasco Brattka, Matthias Schröder: Computing with Sequences, Weak Topologies and the Axiom of Choice. CSL 2005: 462-476
34		Vasco Brattka, Ludwig Staiger, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 120: 1- (2005)
33		Vasco Brattka: On the Borel Complexity of Hahn-Banach Extensions. Electr. Notes Theor. Comput. Sci. 120: 3-16 (2005)
32		Vasco Brattka, Ruth Dillhage: Computability of the Spectrum of Self-Adjoint Operators. J. UCS 11(12): 1884-1900 (2005)
31		Vasco Brattka: Effective Borel measurability and reducibility of functions. Math. Log. Q. 51(1): 19-44 (2005)
	2004
30		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)
29		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)
28		Martin Ziegler, Vasco Brattka: Computability in linear algebra. Theor. Comput. Sci. 326(1-3): 187-211 (2004)
	2003
27		Vasco Brattka: The Inversion Problem for Computable Linear Operators. STACS 2003: 391-402
26		Vasco Brattka: Recursive quasi-metric spaces. Theor. Comput. Sci. 305(1-3): 17-42 (2003)
25		Vasco Brattka, Gero Presser: Computability on subsets of metric spaces. Theor. Comput. Sci. 305(1-3): 43-76 (2003)
	2002
24		Vasco Brattka: Random Numbers and an Incomplete Immune Recursive Set. ICALP 2002: 950-961
23		Vasco Brattka, Martin Ziegler: Computability of Linear Equations. IFIP TCS 2002: 95-106
22		Vasco Brattka: Computing Uniform Bounds. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
21		Vasco Brattka, Matthias Schröder, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
20		Vasco Brattka: Some Notes on Fine Computability. J. UCS 8(3): 382-395 (2002)
19		Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong: Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48(S1): (2002)
18		Vasco Brattka, Peter Hertling: Topological properties of real number representations. Theor. Comput. Sci. 284(2): 241-257 (2002)
	2001
17		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
16		Martin Ziegler, Vasco Brattka: Turing computability of (non-)linear optimization. CCCG 2001: 181-184
15		Vasco Brattka: Computable Versions of Baire's Category Theorem. MFCS 2001: 224-235
	2000
14		Martin Ziegler, Vasco Brattka: A Computable Spectral Theorem. CCA 2000: 378-388
13		Martin Ziegler, Vasco Brattka: Computing the Dimension of Linear Subspaces. SOFSEM 2000: 450-458
12		Vasco Brattka: Recursion and Computability over Topological Structures. Electr. Notes Theor. Comput. Sci. 40: (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	[47]
2	Jens Blanck	[17]
3	Ruth Dillhage	[32] [39] [41] [48] [49]
4	Christiane Frougny	[40]
5	Guido Gherardi	[42] [51]
6	Tanja Grubba	[49]
7	Peter Hertling	[2] [6] [17] [18] [19] [30] [38]
8	Clemens Heuberger	[47]
9	Hajime Ishihara	[44] [45]
10	Gerhard Jäger	[46]
11	Angela Klutsch	[49]
12	Ker-I Ko	[30] [38]
13	Vladik Kreinovich	[29]
14	Hans-Peter A. Künzi	[46]
15	Norbert Th. Müller	[40]
16	Gero Presser	[25]
17	Matthias Schröder	[21] [35] [44] [45]
18	Ludwig Staiger	[34]
19	Hideki Tsuiki	[38]
20	Klaus Weihrauch	[7] [8] [9] [11] [21] [34]
21	Mariko Yasugi	[19]
22	Atsushi Yoshikawa	[37]
23	Xizhong Zheng	[8] [11]
24	Ning Zhong	[19] [30] [44] [45]
25	Martin Ziegler	[13] [14] [16] [23] [28]

Colors in the list of coauthors