Vasco Brattka - RankMe

127 papers A* 1A 3B 4C 25Misc 2Journal 80Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computability of the Hahn-Banach Theorem Revisited. CoRR Vasco Brattka, Christopher Sorg
2026	J	`jnl`	Uniform Computability of PAC Learning. CoRR Vasco Brattka, Guillaume Chirache
2025	C	`conf`	Computability of Initial Value Problems. CiE Vasco Brattka, Hendrik Smischliaew
2025	J	`jnl`	Computability of Initial Value Problems. CoRR Vasco Brattka, Hendrik Smischliaew
2025	C	`conf`	Effective Second Countability in Computable Analysis. CiE Vasco Brattka, Emmanuel Rauzy
2025	J	`jnl`	Effective bases and notions of effective second countability in computable analysis. CoRR Vasco Brattka, Emmanuel Rauzy
2025	J	`jnl`	Loops, Inverse Limits and Non-Determinism. CoRR Vasco Brattka
2025	J	`jnl`	Weihrauch Complexity: Structuring the Realm of Non-Computability (Dagstuhl Seminar 25131). Dagstuhl Reports Vasco Brattka, Alberto Marcone, Arno Pauly, Linda Westrick, Kenneth Gill
2023	J	`jnl`	On the Complexity of Computing Gödel Numbers. CoRR Vasco Brattka
2023	C	`conf`	On the Complexity of Learning Programs. CiE Vasco Brattka
2023	J	`jnl`	The discontinuity Problem. J. Symb. Log. Vasco Brattka
2022	J	`jnl`	Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021. Comput. Vasco Brattka, Noam Greenberg, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
2021	J	`jnl`	Completion of choice. Ann. Pure Appl. Log. Vasco Brattka, Guido Gherardi
2021	J	`jnl`	Stashing And Parallelization Pentagons. Log. Methods Comput. Sci. Vasco Brattka
2020	J	`jnl`	Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018. Comput. Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
2020	J	`jnl`	The Discontinuity Problem. CoRR Vasco Brattka
2020	J	`jnl`	Weihrauch Goes Brouwerian. J. Symb. Log. Vasco Brattka, Guido Gherardi
2019	J	`jnl`	Completion of Choice. CoRR Vasco Brattka, Guido Gherardi
2019	J	`jnl`	Connected choice and the Brouwer fixed point theorem. J. Math. Log. Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
2019	J	`jnl`	Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. Comput. Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp
2018	J	`jnl`	A Galois connection between Turing jumps and limits. CoRR Vasco Brattka
2018	J	`jnl`	A Galois connection between Turing jumps and limits. Log. Methods Comput. Sci. Vasco Brattka
2018	J	`jnl`	Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). Dagstuhl Reports Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
2018	J	`jnl`	On the Uniform Computational Content of the Baire Category Theorem. Notre Dame J. Formal Log. Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2018	J	`jnl`	On the algebraic structure of Weihrauch degrees. Log. Methods Comput. Sci. Vasco Brattka, Arno Pauly
2018	J	`jnl`	Weihrauch goes Brouwerian. CoRR Vasco Brattka, Guido Gherardi
2017	J	`jnl`	Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. Ann. Pure Appl. Log. Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder
2017	J	`jnl`	Computability Theory (Dagstuhl Seminar 17081). Dagstuhl Reports Klaus Ambos-Spies, Vasco Brattka, Rodney G. Downey, Steffen Lempp
2017	A	`conf`	Monte Carlo Computability. STACS Vasco Brattka, Rupert Hölzl, Rutger Kuyper
2017	J	`jnl`	On the Uniform Computational Content of Computability Theory. Theory Comput. Syst. Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2017	J	`jnl`	On the Uniform Computational Content of Ramsey's Theorem. J. Symb. Log. Vasco Brattka, Tahina Rakotoniaina
2017	—	`conf`	The Vitali Covering Theorem in the Weihrauch Lattice. Computability and Complexity Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
2017	J	`jnl`	Weihrauch Complexity in Computable Analysis. CoRR Vasco Brattka, Guido Gherardi, Arno Pauly
2016	C	`conf`	Computability and Analysis, a Historical Approach. CiE Vasco Brattka
2016	J	`jnl`	Computability and Analysis, a Historical Approach. CoRR Vasco Brattka
2016	J	`jnl`	Editorial. Comput. Vasco Brattka, Paola Bonizzoni, Olivier Bournez, Elvira Mayordomo
2016	J	`jnl`	On the algebraic structure of Weihrauch degrees. CoRR Vasco Brattka, Arno Pauly
2016	C	`conf`	The Brouwer Fixed Point Theorem Revisited. CiE Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
2016	J	`jnl`	The Vitali Covering Theorem in the Weihrauch Lattice. CoRR Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
2015	A	`conf`	Las Vegas Computability and Algorithmic Randomness. STACS Vasco Brattka, Guido Gherardi, Rupert Hölzl
2015	J	`jnl`	Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). Dagstuhl Reports Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly
2015	J	`jnl`	On the Uniform Computational Content of Computability Theory. CoRR Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2015	J	`jnl`	On the Uniform Computational Content of the Baire Category Theorem. CoRR Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2015	J	`jnl`	Preface to the special issue: Computing with infinite data: topological and logical foundations. Math. Struct. Comput. Sci. Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
2015	J	`jnl`	Probabilistic computability and choice. Inf. Comput. Vasco Brattka, Guido Gherardi, Rupert Hölzl
2014	—	`ch.`	Computability and analysis: the legacy of Alan Turing. Turing's Legacy Jeremy Avigad, Vasco Brattka
2014	—	`book`	Logic, Computation, Hierarchies Logic, Computation, Hierarchies Vasco Brattka, Hannes Diener, Dieter Spreen
2013	J	`jnl`	Probabilistic Computability and Choice. CoRR Vasco Brattka, Rupert Hölzl, Guido Gherardi
2013	C	`ed.`	The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings CiE Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
2012	J	`jnl`	Closed choice and a Uniform Low Basis Theorem. Ann. Pure Appl. Log. Vasco Brattka, Matthew de Brecht, Arno Pauly
2012	J	`jnl`	Computability and analysis: the legacy of Alan Turing CoRR Jeremy Avigad, Vasco Brattka
2012	J	`jnl`	Connected Choice and the Brouwer Fixed Point Theorem CoRR Vasco Brattka, Stéphane Le Roux, Arno Pauly
2012	J	`jnl`	Editorial. Comput. Vasco Brattka, Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Elvira Mayordomo
2012	J	`jnl`	Foreword. Ann. Pure Appl. Log. Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen
2012	C	`conf`	On the Computational Content of the Brouwer Fixed Point Theorem. CiE Vasco Brattka, Stéphane Le Roux, Arno Pauly
2012	J	`jnl`	The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. Ann. Pure Appl. Log. Vasco Brattka, Guido Gherardi, Alberto Marcone
2011	J	`jnl`	Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
2011	J	`jnl`	Effective choice and boundedness principles in computable analysis. Bull. Symb. Log. Vasco Brattka, Guido Gherardi
2011	J	`jnl`	Randomness and Differentiability. CoRR Vasco Brattka, Joseph S. Miller, André Nies
2011	J	`jnl`	The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma CoRR Vasco Brattka, Guido Gherardi, Alberto Marcone
2011	J	`jnl`	Weihrauch degrees, omniscience principles and weak computability. J. Symb. Log. Vasco Brattka, Guido Gherardi
2010	J	`jnl`	Closed Choice and a Uniform Low Basis Theorem. CoRR Vasco Brattka, Matthew de Brecht, Arno Pauly
2010	J	`jnl`	Computability of finite-dimensional linear subspaces and best approximation. Ann. Pure Appl. Log. Vasco Brattka, Ruth Dillhage
2010	C	`conf`	Computation with Advice CCA Vasco Brattka, Arno Pauly
2009	J	`jnl`	A computable version of Banach's Inverse Mapping Theorem. Ann. Pure Appl. Log. Vasco Brattka
2009	—	`conf`	A method to evaluate the computational complexity of the theorems from functional analysis. ICTCS Vasco Brattka, Guido Gherardi
2009	J	`jnl`	Borel Complexity of Topological Operations on Computable Metric Spaces. J. Log. Comput. Vasco Brattka, Guido Gherardi
2009	J	`jnl`	Computability and Complexity in Analysis. J. Univers. Comput. Sci. Vasco Brattka, Pieter Collins, Robert Rettinger
2009	C	`conf`	Effective Choice and Boundedness Principles in Computable Analysis. CCA Vasco Brattka, Guido Gherardi
2009	—	`ed.`	Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ILC Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe
2009	C	`conf`	Weihrauch Degrees, Omniscience Principles and Weak Computability. CCA Vasco Brattka, Guido Gherardi
2008	J	`jnl`	Borel complexity and computability of the Hahn-Banach Theorem. Arch. Math. Log. Vasco Brattka
2008	J	`jnl`	Computability and Complexity in Analysis. J. Univers. Comput. Sci. Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
2008	C	`conf`	Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. CCA Ruth Dillhage, Vasco Brattka
2008	J	`jnl`	Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
2008	J	`jnl`	Plottable Real Number Functions and the Computable Graph Theorem. SIAM J. Comput. Vasco Brattka
2008	C	`conf`	Preface. CCA Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch
2008	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi
2008	C	`ed.`	Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, CCA 2008, Hagen, Germany, August 21-24, 2008 CCA Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch
2008	J	`jnl`	Randomness with Respect to the Signed-Digit Representation. Fundam. Informaticae Margaret Archibald, Vasco Brattka, Clemens Heuberger
2007	C	`conf`	Borel Complexity of Topological Operations on Computable Metric Spaces. CiE Vasco Brattka, Guido Gherardi
2007	J	`jnl`	Computability of compact operators on computable Banach spaces with bases. Math. Log. Q. Vasco Brattka, Ruth Dillhage
2007	J	`jnl`	Foreword. RAIRO Theor. Informatics Appl. Vasco Brattka, Christiane Frougny, Norbert Th. Müller
2006	J	`jnl`	Computability and complexity in analysis. J. Complex. Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki
2006	C	`conf`	On Computable Compact Operators on Banach Spaces. CCA Vasco Brattka, Ruth Dillhage
2006	J	`jnl`	Towards computability of elliptic boundary value problems in variational formulation. J. Complex. Vasco Brattka, Atsushi Yoshikawa
2005	J	`jnl`	Computability of the Spectrum of Self-Adjoint Operators. J. Univers. Comput. Sci. Vasco Brattka, Ruth Dillhage
2005	—	`ch.`	Computability on Non-Separable Banach Spaces and Landau's Theorem. From sets and types to topology and analysis Vasco Brattka
2005	B	`conf`	Computing with Sequences, Weak Topologies and the Axiom of Choice. CSL Vasco Brattka, Matthias Schröder
2005	J	`jnl`	Effective Borel measurability and reducibility of functions. Math. Log. Q. Vasco Brattka
2005	C	`ed.`	Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004 CCA Vasco Brattka, Ludwig Staiger, Klaus Weihrauch
2005	C	`conf`	Some Aspects of Computable Functional Analysis. CCA Vasco Brattka
2004	J	`jnl`	Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003. Reliab. Comput. Vasco Brattka, Vladik Kreinovich
2004	J	`jnl`	Computability in linear algebra. Theor. Comput. Sci. Martin Ziegler, Vasco Brattka
2004	C	`conf`	On the Borel Complexity of Hahn-Banach Extensions. CCA Vasco Brattka
2004	C	`conf`	Preface. CCA Vasco Brattka, Ludwig Staiger, Klaus Weihrauch
2004	J	`jnl`	Preface: MLQ - Math. Log. Quart. 4-5/2004. Math. Log. Q. Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong
2003	J	`jnl`	Computability on subsets of metric spaces. Theor. Comput. Sci. Vasco Brattka, Gero Presser
2003	J	`jnl`	Recursive quasi-metric spaces. Theor. Comput. Sci. Vasco Brattka
2003	A	`conf`	The Inversion Problem for Computable Linear Operators. STACS Vasco Brattka
2002	C	`ed.`	Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 CCA Vasco Brattka, Matthias Schröder, Klaus Weihrauch
2002	—	`conf`	Computability of Linear Equations. IFIP TCS Vasco Brattka, Martin Ziegler
2002	C	`conf`	Computing Uniform Bounds. CCA Vasco Brattka
2002	C	`conf`	Preface. CCA Vasco Brattka, Matthias Schröder, Klaus Weihrauch
2002	J	`jnl`	Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong
2002	A*	`conf`	Random Numbers and an Incomplete Immune Recursive Set. ICALP Vasco Brattka
2002	J	`jnl`	Some Notes on Fine Computability. J. Univers. Comput. Sci. Vasco Brattka
2002	J	`jnl`	Topological properties of real number representations. Theor. Comput. Sci. Vasco Brattka, Peter Hertling
2001	C	`ed.`	Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers CCA Jens Blanck, Vasco Brattka, Peter Hertling
2001	B	`conf`	Computable Versions of Baire's Category Theorem. MFCS Vasco Brattka
2001	—	`conf`	Turing computability of (non-)linear optimization. CCCG Martin Ziegler, Vasco Brattka
2000	C	`conf`	A Computable Spectral Theorem. CCA Martin Ziegler, Vasco Brattka
2000	B	`conf`	Computing the Dimension of Linear Subspaces. SOFSEM Martin Ziegler, Vasco Brattka
2000	—	`conf`	Recursion and Computability over Topological Structures. MFCSIT Vasco Brattka
2000	—	`conf`	The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability. Words, Languages & Combinatorics Vasco Brattka
1999	J	`jnl`	Approaches to Effective Semi-Continuity of Real Functions. Math. Log. Q. Vasco Brattka, Xizhong Zheng, Klaus Weihrauch
1999	J	`jnl`	Computability on Subsets of Euclidean Space I: Closed and Compact Subsets. Theor. Comput. Sci. Vasco Brattka, Klaus Weihrauch
1999	J	`jnl`	Computable Invariance. Theor. Comput. Sci. Vasco Brattka
1999	—	`—`	Recursive and computable operations over topological structures. Vasco Brattka
1998	Misc	`conf`	Approaches to Effective Semi-continuity of Real Functions. COCOON Vasco Brattka, Klaus Weihrauch, Xizhong Zheng
1998	J	`jnl`	Feasible Real Random Access Machines. J. Complex. Vasco Brattka, Peter Hertling
1998	—	`conf`	Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. MCU (2) Vasco Brattka, Klaus Weihrauch
1997	Misc	`conf`	Computable Invariance. COCOON Vasco Brattka
1997	J	`jnl`	Order-free Recursion on the Real Numbers. Math. Log. Q. Vasco Brattka
1996	C	`conf`	Computable Invariance. CCA Vasco Brattka
1996	B	`conf`	Feasible Real Random Access Machines. SOFSEM Vasco Brattka, Peter Hertling
1996	J	`jnl`	Recursive Characterization of Computable Real-Valued Functions and Relations. Theor. Comput. Sci. Vasco Brattka