1. Gaussian Measures (AMS, 1998).
2. Computable invariance
3. Computability of Banach space principles. Technical Report 286, FernUniversität Hagen, Fachbereich Informatik, Hagen, June 2001.
4. The inversion problem for computable linear operators. In: STACS (H. Alt and M. Habib, eds.). Lecture Notes in Computer Science 2607, pp. 391–402 (Springer, 2003).
5. Towards computability of elliptic boundary value problems in variational formulation