| 2025 | CiE | Effective Second Countability in Computable Analysis. | Vasco Brattka, Emmanuel Rauzy |
| 2025 | CiE | Computability of Initial Value Problems. | Vasco Brattka, Hendrik Smischliaew |
| 2023 | CiE | On the Complexity of Learning Programs. | Vasco Brattka |
| 2017 | STACS | Monte Carlo Computability. | Vasco Brattka, Rupert Hlzl, Rutger Kuyper |
| 2016 | CiE | The Brouwer Fixed Point Theorem Revisited. | Vasco Brattka, Stphane Le Roux, Joseph S. Miller, Arno Pauly |
| 2016 | CiE | Computability and Analysis, a Historical Approach. | Vasco Brattka |
| 2015 | STACS | Las Vegas Computability and Algorithmic Randomness. | Vasco Brattka, Guido Gherardi, Rupert Hlzl |
| 2012 | CiE | On the Computational Content of the Brouwer Fixed Point Theorem. | Vasco Brattka, Stphane Le Roux, Arno Pauly |
| 2009 | CCA | Weihrauch Degrees, Omniscience Principles and Weak Computability. | Vasco Brattka, Guido Gherardi |
| 2009 | CCA | Effective Choice and Boundedness Principles in Computable Analysis. | Vasco Brattka, Guido Gherardi |
| 2007 | CiE | Borel Complexity of Topological Operations on Computable Metric Spaces. | Vasco Brattka, Guido Gherardi |
| 2005 | CCA | Some Aspects of Computable Functional Analysis. | Vasco Brattka |
| 2005 | CSL | Computing with Sequences, Weak Topologies and the Axiom of Choice. | Vasco Brattka, Matthias Schrder |
| 2003 | STACS | The Inversion Problem for Computable Linear Operators. | Vasco Brattka |
| 2002 | ICALP | Random Numbers and an Incomplete Immune Recursive Set. | Vasco Brattka |
| 2001 | MFCS | Computable Versions of Baire's Category Theorem. | Vasco Brattka |
| 2000 | CCA | A Computable Spectral Theorem. | Martin Ziegler, Vasco Brattka |
| 2000 | DLT | The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability. | Vasco Brattka |
| 2000 | SOFSEM | Computing the Dimension of Linear Subspaces. | Martin Ziegler, Vasco Brattka |
| 1998 | COCOON | Approaches to Effective Semi-continuity of Real Functions. | Vasco Brattka, Klaus Weihrauch, Xizhong Zheng |
| 1998 | MCU | Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. | Vasco Brattka, Klaus Weihrauch |
| 1997 | COCOON | Computable Invariance. | Vasco Brattka |
| 1996 | CCA | Computable Invariance. | Vasco Brattka |
| 1996 | SOFSEM | Feasible Real Random Access Machines. | Vasco Brattka, Peter Hertling |