Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Brattka, Vasco"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Las Vegas computability and algorithmic randomness
Vasco Brattka
,
Guido Gherardi
,
Rupert Hölzl
Leibniz International Proceedings in Informatics (LIPIcs)
30
, 2015, pp. 130-142
Plottable real number functions and the computable graph theorem
Vasco Brattka
SIAM Journal on Computing
38
(1), 2008, pp. 303-328
Towards computability of elliptic boundary value problems in variational formulation
Vasco Brattka
,
Atsushi Yoshikawa
Journal of Complexity
22
(6), 2006, pp. 858-880
Computability in linear algebra
Martin Ziegler
,
Vasco Brattka
Theoretical Computer Science
326
(1-3), 2004, pp. 187-211
Computability on subsets of metric spaces
Vasco Brattka
,
Gero Presser
Theoretical Computer Science
305
(1-3), 2003, pp. 43-76
The inversion problem for computable linear operators
Vasco Brattka
Lecture Notes in Computer Science
2607
, 2003, pp. 391-402
Recursive quasi-metric spaces
Vasco Brattka
Theoretical Computer Science
305
(1-3), 2003, pp. 17-42
Topological properties of real numer representations
Vasco Brattka
,
Peter Hertling
Theoretical Computer Science
284
(2), 2002, pp. 241-257
Random numbers and an incomplete immune recursive set
Vasco Brattka
Lecture Notes in Computer Science
2380
, 2002, pp. 950-961
Computable versions of Baire's category theorem
Vasco Brattka
Lecture Notes in Computer Science
2136
, 2001, pp. 224-235
Computability on subsets of Euclidean space I: Closed and compact subsets
Vasco Brattka
,
Klaus Weihrauch
Theoretical Computer Science
219
(1-2), 1999, pp. 65-93
Computable invariance
Vasco Brattka
Theoretical Computer Science
210
(1), 1999, pp. 3-20
Feasible real random access machines
Vasco Brattka
,
Peter Hertling
Journal of Complexity
14
(4), 1998, pp. 490-526
Approaches to effective semi-continuity of real functions
Vasco Brattka
,
Klaus Weihrauch
,
Xizhong Zheng
Lecture Notes in Computer Science
1449
, 1998, pp. 184-193
Computable invariance
Vasco Brattka
Lecture Notes in Computer Science
1276
, 1997, pp. 146-155
Recursive characterization of computable real-valued functions and relations
Vasco Brattka
Theoretical Computer Science
162
(1), 1996, pp. 45-77