2017


2016


2015


2014


  • Brattka, Vasco and Diener, Hannes and Spreen, Dieter (eds.), Logic, Computation, Hierarchies, vol. 4 of Ontos Mathematical Logic, Walter de Gruyter, Boston, 2014
  • Avigad, Jeremy and Brattka, Vasco, Computability and analysis: the legacy of Alan Turing, in: Downey, Rod (ed.), Turing's Legacy: Developments from Turing's Ideas in Logic, vol. 42 of Lecture Notes in Logic, Cambridge University Press, Cambridge, UK, 2014, pages 1-47

2013


2012


2011


2010


2009


2008


2007


  • Brattka, Vasco and Frougny, Christiane and Müller, Norbert (eds.), Real Numbers, Selected Papers of the 6th conference on Real Numbers and Computers, Dagstuhl, Germany, November 15-17, 2004, vol. 41 of Theoretical Informatics and Applications, EDP Sciences, Les Ulis, 2007
  • Archibald, Margaret and Brattka, Vasco and Heuberger, Clemens, Randomness with respect to the Signed-Digit Representation, technical report, Institut für Optimierung und Diskrete Mathematik, TU Graz, Graz, 2007
  • Brattka, Vasco, From Hilbert's 13th Problem to the theory of neural networks: constructive aspects of Kolmogorov's Superposition Theorem, in: Charpentier, Éric and Lesne, Annick and Nikolski, Nikolaï (eds.), Kolmogorov's Heritage in Mathematics, Springer, Berlin, 2007, pages 253-280
  • Brattka, Vasco and Dillhage, Ruth, On Computable Compact Operators on Computable Banach Spaces with Bases, Mathematical Logic Quarterly 53:4-5 (2007) 345-364
  • Brattka, Vasco and Dillhage, Ruth, On Computable Compact Operators on Banach Spaces, in: Cenzer, Douglas and Dillhage, Ruth and Grubba, Tanja and Weihrauch, Klaus (eds.), Proceedings of the Third International Conference on Computability and Complexity in Analysis, vol. 167 of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2007, pages 365-386
  • Brattka, Vasco and Gherardi, Guido, Borel Complexity of Topological Operations on Computable Metric Spaces, in: Cooper, S. Barry and Löwe, Benedikt and Sorbi, Andrea (eds.), Computation and Logic in the Real World, vol. 4497 of Lecture Notes in Computer Science, Springer, Berlin, 2007, pages 83-97

2006


  • Brattka, Vasco and Hertling, Peter and Ko, Ker-I and Tsuiki, Hideki (eds.), Computability and Complexity in Analysis, Selected Papers of the International Conference CCA 2005, held in Kyoto, Japan, August 25-29, 2005, vol. 522 of Journal of Complexity, Elsevier, Amsterdam, 2006
  • Brattka, Vasco, Computable Versions of the Uniform Boundedness Theorem, in: Chatzidakis, Z. and Koepke, P. and Pohlers, W. (eds.), Logic Colloquium 2002, vol. 27 of Lecture Notes in Logic, Association for Symbolic Logic, Urbana, 2006, pages 130-151
  • Brattka, Vasco and Dillhage, Ruth, On computable compact operators on Banach spaces, in: Cenzer, Douglas and Dillhage, Ruth and Grubba, Tanja and Weihrauch, Klaus (eds.), CCA 2006, Third International Conference on Computability and Complexity in Analysis, vol. 333 of Informatik Berichte, FernUniversität in Hagen, 2006, pages 49-66
  • Brattka, Vasco and Yoshikawa, Atsushi, Towards computability of elliptic boundary value problems in variational formulation, Journal of Complexity 22:6 (2006) 858-880

2005


  • Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus (eds.), Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 6th International Workshop, CCA 2004, Wittenberg, Germany, August 16-20, 2004, vol. 120 of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2005
  • Brattka, Vasco, Effective Borel measurability and reducibility of functions, Mathematical Logic Quarterly 51:1 (2005) 19-44
  • Brattka, Vasco, Computability on Non-Separable Banach Spaces and Landau's Theorem, in: Crosilla, Laura and Schuster, Peter (eds.), From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, 2005, pages 316-333
  • Brattka, Vasco, Some aspects of computable functional analysis (abstract), in: Grubba, Tanja and Hertling, Peter and Tsuiki, Hideki and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 326 of Informatik Berichte, FernUniversität in Hagen, 2005, page vii
  • Brattka, Vasco, On the Borel Complexity of Hahn-Banach Extensions, in: Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus (eds.), Proceedings of the 6th Workshop on Computability and Complexity in Analysis, vol. 120 of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2005, pages 3-16
  • Brattka, Vasco and Dillhage, Ruth, Computability of the Spectrum of Self-Adjoint Operators, Journal of Universal Computer Science 11:12 (2005) 1884-1900
  • Brattka, Vasco and Schröder, Matthias, Computing with Sequences, Weak Topologies and the Axiom of Choice, in: Ong, Luke (ed.), Computer science logic, vol. 3634 of Lecture Notes in Computer Science, Springer, 2005, pages 462-476

2004


  • Brattka, Vasco and Hertling, Peter and Ko, Ker-I and Zhong, Ning (eds.), Special Issue Computability and Complexity in Analysis, Selected Papers of the International Conference CCA 2003, held in Cincinnati, Ohio, August 28-30, 2003, vol. 50 of Mathematical Logic Quarterly, Wiley-VCH, Weinheim, 2004
  • Brattka, Vasco, On the Borel Complexity of Hahn-Banach Extensions, in: Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 320 of Informatik Berichte, FernUniversität in Hagen, 2004, pages 1-13
  • Brattka, Vasco, Du 13-ième problème de Hilbert à la théorie des réseaux de neurones : aspects constructifs du théorème de superposition de Kolmogorov, in: Charpentier, Éric and Lesne, Annick and Nikolski, Nikolaï (eds.), L'héritage de Kolmogorov en mathématiques, Éditions Belin, Paris, 2004, pages 241-268
  • Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus, Computability and Complexity in Analysis, technical report, FernUniversität Hagen, Hagen, 2004
  • Frougny, Christiane and Brattka, Vasco and Müller, Norbert, RNC'6, 6th Conference on Real Numbers and Computers, technical report, Fachbereich Mathematik/Informatik, Unversität Trier, Trier, 2004
  • Ziegler, Martin and Brattka, Vasco, Computability in Linear Algebra, Theoretical Computer Science 326:1-3 (2004) 187-211

2003


2002


  • Brattka, Vasco and Schröder, Matthias and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, 5th International Workshop, CCA 2002, Málaga, Spain, July 12-13, 2002, vol. 66(1) of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2002
  • Brattka, Vasco and Hertling, Peter and Yasugi, Mariko and Zhong, Ning (eds.), Selected Papers of the Dagstuhl Seminar on Computability and Complexity in Analysis 2001, vol. 48 (Suppl. 1) of Mathematical Logic Quarterly, Wiley-VCH, Weinheim, 2002
  • Brattka, Vasco, Computability on Asymmetric Spaces, Habilitation Thesis, Department of Computer Science, University of Hagen, Hagen, Germany, 2002
  • Brattka, Vasco, Some notes on Fine computability, Journal of Universal Computer Science 8:3 (2002) 382-395
  • Brattka, Vasco, Random Numbers and an Incomplete Immune Recursive Set, in: Widmayer, Peter and Triguero, Francisco and Morales, Rafael and Hennessy, Matthew and Eidenbenz, Stephan and Conejo, Ricardo (eds.), Automata, Languages and Programming, vol. 2380 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pages 950-961
  • Brattka, Vasco, Recursion and Computability over Topological Structures (Abstract), in: Hurley, Ted and Mac an Airchinnigh, Mícheál and Schellekens, Michel and Seda, Anthony (eds.), The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, vol. 40 of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2002
  • Brattka, Vasco, Computing Uniform Bounds, in: Brattka, Vasco and Schröder, Matthias and Weihrauch, Klaus (eds.), CCA 2002 Computability and Complexity in Analysis, vol. 66 of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2002
  • Brattka, Vasco and Hertling, Peter, Topological properties of real number representations, Theoretical Computer Science 284:2 (2002) 241-257
  • Brattka, Vasco and Schröder, Matthias and Weihrauch, Klaus, Computability and Complexity in Analysis, technical report, FernUniversität Hagen, Hagen, 2002
  • Brattka, Vasco and Ziegler, Martin, Computability of linear equations, in: Baeza-Yates, Ricardo and Montanari, Ugo and Santoro, Nicola (eds.), Foundations of Information Technology in the Era of Network and Mobile Computing, vol. 223 of IFIP International Federation for Information Processing, Kluwer Academic Publishers, Dordrecht, 2002, pages 95-106
  • Yasugi, Mariko and Brattka, Vasco and Washihara, Masako, Limit computation of some discontinuous functions, in: Theoretical development and feasibility of mathematical analysis on the computer, vol. 1286 of Sūrikaisekikenkyūsho Kōkyūroku, Research Institute for Mathematical Sciences, Kyoto, 2002, pages 79-84
  • Yasugi, Mariko and Brattka, Vasco and Washihara, Masako, Computability aspects of some discontinuous functions, Scientiae Mathematicae Japonicae 55:3 (2002) 427-441

2001


  • Blanck, Jens and Brattka, Vasco and Hertling, Peter (eds.), Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers, vol. 2064 of Lecture Notes in Computer Science, Springer, Berlin, 2001
  • Brattka, Vasco, Computability of Banach Space Principles, technical report, FernUniversität Hagen, Fachbereich Informatik, Hagen, 2001
  • Brattka, Vasco, Computable versions of Baire's category theorem, in: Sgall, Jiří and Pultr, Aleš and Kolman, Petr (eds.), Mathematical Foundations of Computer Science 2001, vol. 2136 of Lecture Notes in Computer Science, Springer, Berlin, 2001, pages 224-235
  • Brattka, Vasco and Ziegler, Martin, Computability of linear equations, technical report, Universität Paderborn, Fachbereich Mathematik-Informatik, Paderborn, 2001
  • Yasugi, Mariko and Brattka, Vasco and Washihara, Masako, Computability aspects of some discontinuous functions, Scientiae Mathematicae Japonicae Online 5 (2001) 405-419
  • Ziegler, Martin and Brattka, Vasco, A Computable Spectral Theorem, in: Blanck, Jens and Brattka, Vasco and Hertling, Peter (eds.), Computability and Complexity in Analysis, vol. 2064 of Lecture Notes in Computer Science, Springer, Berlin, 2001, pages 378-388
  • Ziegler, Martin and Brattka, Vasco, Turing Computability of (Non-)Linear Optimization, in: Therese Biedl (ed.), Thirteenth Canadian Conference on Computational Geometry, University of Waterloo, 2001, pages 181-184

2000


  • Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch, Klaus, Computability and Complexity in Analysis, technical report, FernUniversität Hagen, Hagen, 2000
  • Brattka, Vasco, Realistic models of computability on the real numbers, in: Yoshikawa, Atsushi (ed.), Relevance and Feasibility of Mathematical Analysis on the Computer, vol. 1169 of Sūrikaisekikenkyūsho Kōkyūroku, Research Institute for Mathematical Sciences, Kyoto, 2000, pages 62-75
  • Brattka, Vasco, A Computable Kolmogorov Superposition Theorem, in: Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 272 of Informatik Berichte, FernUniversität Hagen, 2000, pages 7-22
  • Ziegler, Martin and Brattka, Vasco, Computing the Dimension of Linear Subspaces, in: Hlaváč, Václav and Jeffery, Keith G. and Wiedermann, Jiří (eds.), SOFSEM 2000: Theory and Practice of Informatics, vol. 1963 of Lecture Notes in Computer Science, Springer, Berlin, 2000, pages 450-458
  • Ziegler, Martin and Brattka, Vasco, A Computable Spectral Theorem, in: Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 272 of Informatik Berichte, FernUniversität Hagen, 2000, pages 469-479

1999


1998


  • Brattka, Vasco, Recursive and Computable Operations over Topological Structures, PhD thesis, Department of Computer Science, University of Hagen, Hagen, Germany, 1998
  • Brattka, Vasco, A Stability Theorem for Recursive Analysis, in: Ko, Ker-I and Nerode, Anil and Pour-El, Marian B. and Weihrauch, Klaus and Wiedermann, Jiří (eds.), Computability and Complexity in Analysis, vol. 235 of Informatik Berichte, FernUniversität Hagen, 1998, pages 1-15
  • Brattka, Vasco and Hertling, Peter, Feasible real random access machines, Journal of Complexity 14:4 (1998) 490-526
  • Brattka, Vasco and Kalantari, Iraj, A Bibliography of Recursive Analysis and Recursive Topology, in: Ershov, Yu. L. and Goncharov, S.S. and Nerode, A. and Remmel, J.B. (eds.), Handbook of Recursive Mathematics, vol. 138 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1998, pages 583-620
  • Brattka, Vasco and Weihrauch, Klaus, Recursive and Recursively Enumerable Closed Subsets of Euclidean Space, in: Margenstern, Maurice (ed.), Actes de MCU'98, I.U.T. de Metz, 1998, pages 214-234
  • Brattka, Vasco and Weihrauch, Klaus and Zheng, Xizhong, Approaches to Effective Semi-continuity of Real Functions, in: Hsu, Wen-Lian and Kao, Ming-Yang (eds.), Computing and Combinatorics, vol. 1449 of Lecture Notes in Computer Science, Springer, Berlin, 1998, pages 184-193

1997


  • Brattka, Vasco, Computable Invariance, in: Jiang, Tao and Lee, D.T. (eds.), Computing and Combinatorics, vol. 1276 of Lecture Notes in Computer Science, Springer, Berlin, 1997, pages 146-155
  • Brattka, Vasco, Order-free Recursion on the Real Numbers, Mathematical Logic Quarterly 43 (1997) 216-234

1996


  • Brattka, Vasco, Computable Invariance, in: Ko, Ker-I and Müller, Norbert and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, Universität Trier, 1996, pages 5-22
  • Brattka, Vasco, Recursive characterization of computable real-valued functions and relations, Theoretical Computer Science 162 (1996) 45-77
  • Brattka, Vasco and Hertling, Peter, Feasible real random access machines, in: Allouche, Jean-Paul and Bajard, Jean-Claude and Didier, Laurent-Stephane and Liardet, Pierre (eds.), Second Real Numbers and Computer Conference, 1996, pages 139-172
  • Brattka, Vasco and Hertling, Peter, Feasible real random access machines, in: Jeffrey, Keith G. and Král, Jaroslav and Bartošek, Miroslav (eds.), SOFSEM'96: Theory and Practice of Informatics, vol. 1175 of Lecture Notes in Computer Science, Springer, Berlin, 1996, pages 335-342

1995


  • Brattka, Vasco, Computable selection in analysis, in: Ko, Ker-I and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 190 of Informatik Berichte, FernUniversität Hagen, 1995, pages 125-138
  • Brattka, Vasco and Hertling, Peter, Feasible real random access machines, technical report, FernUniversität Hagen, Hagen, 1995
  • Brattka, Vasco and Hertling, Peter, Feasible real random access machines, in: Ko, Ker-I and Weihrauch, Klaus (eds.), Computability and Complexity in Analysis, vol. 190 of Informatik Berichte, FernUniversität Hagen, 1995, pages 71-82

1994


1993


  • Brattka, Vasco, Grade der Nichtstetigkeit in der Analysis, Diplomarbeit, Fachbereich Informatik, FernUniversität Hagen, 1993
This publication list has currently 141 entries