"Denotational completness revisited" (1999)
- in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
- in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Kohlenbach U.
"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
"Quantitative asymptotic regularity for the composition of two mappings" (2017)
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019)
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
