"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
"FO Model Checking on Map Graphs" (2017)
- in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025)
- in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
- in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) - in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011) - in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) - 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: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
