- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002)
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Kohlenbach U.
"On the no-counterexample interpretation" (1999) - in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012) - in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012) - in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) - in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
"Relating models of impredicative type theories." (1991)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"The freedoms of (guarded) bisimulation" (2014)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Ackermann and Goodstein go functorial" (2021) - in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007) - in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025) - in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) - in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023) - in: Dinis B. and Pinto P.
"Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021) - in: Freund A.
"Well ordering principles and Pi-statements: a pilot study" (2021) - in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Freund A.
"Predicative Collapsing Principles" (2020) - in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) - in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) - in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kohlenbach U. and Pinto P.
"Fejér monotone sequences revisited" (2025) - in: Kohlenbach U. and Pinto P.
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019) - in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017) - in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) - in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) - in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U.
"Relative constructivity" (1998) - in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) - in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) - in: Leuştean L., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007) - in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) - in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) - in: Otto M.
"Automorphism properties of stationary logic" (1992) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) - in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025) - in: Pischke N.
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024) - in: Pischke N.
"On Infinitary Gödel Logics" (2023) - in: Pischke N.
"On Intermediate Justification Logics" (2023) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023) - in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009) - in: Treusch J. and Kohlenbach U.
"Rates of convergence for splitting algorithms" (2025)
"Certifying optimality of state estimation programs" (2003)
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000)
"On Intermediate Justification Logics" (2023)
