"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
"The way-below relation of function spaces over semantic domains" (1998)
- in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018)
- in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012) - in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Kohlenbach U.
"On weak Markov's principle" (2002) - in: Kreuzer A.P.
"On the strength of weak compactness." (2012)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Ackermann and Goodstein go functorial" (2021) - in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022)
"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019)
"Well ordering principles and Pi-statements: a pilot study" (2021)
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020)
"Well-foundedness in realizability" (2006)
- in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009)
- in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008)
"Certifying optimality of state estimation programs" (2003)
"Structures of Bounded Partition Width" (2003)
- in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002) - in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007)
"Some trends in lattice-ordered groups and rings" (1995)
- in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005) - in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
"Galois Connections for Partial Algebras" (2004)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) - in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Dinis B. and Pinto P.
"On the convergence of algorithms with Tikhonov regularization terms" (2021) - in: Dinis B. and Pinto P.
"Metastability of the proximal point algorithm with multi-parameters" (2020) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) - in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) - in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) - in: Pinto P. and Pischke N.
"On Dykstra's algorithm with Bregman projections" (2024) - in: Pinto P. and Pischke N.
"On the Halpern method with adaptive anchoring parameters" (2024) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) - in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994) - in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- in: Freund A.
"A mathematical commitment without computational strength" (2022) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014)
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
"Model Theory of Modal Logic" (2006)
"Boundedness of monadic second-order formulae over finite words" (2009)
- in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006)
