Vasco Brattka

2008
49	EE	Vasco Brattka: Borel complexity and computability of the Hahn-Banach Theorem. Arch. Math. Log. 46(7-8): 547-564 (2008)
48	EE	Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch: Preface. Electr. Notes Theor. Comput. Sci. 221: 1 (2008)
47	EE	Ruth Dillhage, Vasco Brattka: Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. Electr. Notes Theor. Comput. Sci. 221: 45-60 (2008)
46	EE	Margaret Archibald, Vasco Brattka, Clemens Heuberger: Randomness with Respect to the Signed-Digit Representation. Fundam. Inform. 83(1-2): 1-19 (2008)
45	EE	Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi: Preface. J. Log. Algebr. Program. 76(2): (2008)
44		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Computability and Complexity in Analysis. J. UCS 14(6): 800 (2008)
43	EE	Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54(5): 453 (2008)
42	EE	Vasco Brattka: Plottable Real Number Functions and the Computable Graph Theorem. SIAM J. Comput. 38(1): 303-328 (2008)
2007
41	EE	Vasco Brattka, Guido Gherardi: Borel Complexity of Topological Operations on Computable Metric Spaces. CiE 2007: 83-97
40	EE	Vasco Brattka, Ruth Dillhage: On Computable Compact Operators on Banach Spaces. Electr. Notes Theor. Comput. Sci. 167: 365-386 (2007)
39	EE	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	EE	Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki: Computability and complexity in analysis. J. Complexity 22(6): 728 (2006)
37	EE	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	EE	Vasco Brattka, Matthias Schröder: Computing with Sequences, Weak Topologies and the Axiom of Choice. CSL 2005: 462-476
34	EE	Vasco Brattka, Ludwig Staiger, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 120: 1- (2005)
33	EE	Vasco Brattka: On the Borel Complexity of Hahn-Banach Extensions. Electr. Notes Theor. Comput. Sci. 120: 3-16 (2005)
32	EE	Vasco Brattka, Ruth Dillhage: Computability of the Spectrum of Self-Adjoint Operators. J. UCS 11(12): 1884-1900 (2005)
31	EE	Vasco Brattka: Effective Borel measurability and reducibility of functions. Math. Log. Q. 51(1): 19-44 (2005)
2004
30	EE	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	EE	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	EE	Martin Ziegler, Vasco Brattka: Computability in linear algebra. Theor. Comput. Sci. 326(1-3): 187-211 (2004)
2003
27	EE	Vasco Brattka: The Inversion Problem for Computable Linear Operators. STACS 2003: 391-402
26	EE	Vasco Brattka: Recursive quasi-metric spaces. Theor. Comput. Sci. 305(1-3): 17-42 (2003)
25	EE	Vasco Brattka, Gero Presser: Computability on subsets of metric spaces. Theor. Comput. Sci. 305(1-3): 43-76 (2003)
2002
24	EE	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	EE	Vasco Brattka: Computing Uniform Bounds. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
21	EE	Vasco Brattka, Matthias Schröder, Klaus Weihrauch: Preface. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
20	EE	Vasco Brattka: Some Notes on Fine Computability. J. UCS 8(3): 382-395 (2002)
19	EE	Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong: Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48(S1): (2002)
18	EE	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	EE	Martin Ziegler, Vasco Brattka: Turing computability of (non-)linear optimization. CCCG 2001: 181-184
15	EE	Vasco Brattka: Computable Versions of Baire's Category Theorem. MFCS 2001: 224-235
2000
14	EE	Martin Ziegler, Vasco Brattka: A Computable Spectral Theorem. CCA 2000: 378-388
13	EE	Martin Ziegler, Vasco Brattka: Computing the Dimension of Linear Subspaces. SOFSEM 2000: 450-458
12	EE	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	EE	Vasco Brattka: Computable Invariance. Theor. Comput. Sci. 210(1): 3-20 (1999)
9	EE	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	EE	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	EE	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	EE	Vasco Brattka: Computable Invariance. CCA 1996
2		Vasco Brattka, Peter Hertling: Feasible Real Random Access Machines. SOFSEM 1996: 335-342
1	EE	Vasco Brattka: Recursive Characterization of Computable Real-Valued Functions and Relations. Theor. Comput. Sci. 162(1): 45-77 (1996)

Coauthor Index

1	Margaret Archibald	[46]
2	Jens Blanck	[17]
3	Ruth Dillhage	[32] [39] [40] [47] [48]
4	Guido Gherardi	[41]
5	Tanja Grubba	[48]
6	Peter Hertling	[2] [6] [17] [18] [19] [30] [38]
7	Clemens Heuberger	[46]
8	Hajime Ishihara	[43] [44]
9	Gerhard Jäger	[45]
10	Angela Klutsch	[48]
11	Ker-I Ko	[30] [38]
12	Vladik Kreinovich	[29]
13	Hans-Peter A. Künzi	[45]
14	Gero Presser	[25]
15	Matthias Schröder	[21] [35] [43] [44]
16	Ludwig Staiger	[34]
17	Hideki Tsuiki	[38]
18	Klaus Weihrauch	[7] [8] [9] [11] [21] [34]
19	Mariko Yasugi	[19]
20	Atsushi Yoshikawa	[37]
21	Xizhong Zheng	[8] [11]
22	Ning Zhong	[19] [30] [43] [44]
23	Martin Ziegler	[13] [14] [16] [23] [28]

Colors in the list of coauthors