1. The inversion problem for computable linear operators. In: STACS 2003 (H. Alt and M. Habib, eds.). Lecture Notes in Computer Science 2607, pp. 391–402 (Springer, 2003).
2. Computability on non-separable Banach spaces and Landau's theorem. In: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (L. Crosilla and P. Schuster, eds.), pp. 316–333 (Oxford University Press, 2005).
3. On the Borel complexity of Hahn-Banach extensions. In: Proceedings of the 6thWorkshop on Computability and Complexity in Analysis (V. Brattka, L. Staiger, and K. Weihrauch, eds.). Electronic Notes in Theoretical Computer Science 120, pp. 3–16 (Elsevier, 2005).
4. Computability on subsets of metric spaces