"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004)
- in: Keimel K.
"Bi-continuous valuations" (1998)
- in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996)
"Bounded variable logics and counting -- A study in finite models" (1997)
- in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) - in: Otto M.
"Ptime canonization for two variables with counting" (1995)
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
- in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
"Certifying optimality of state estimation programs" (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: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) - in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) - in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) - in: Pinto P.
"On quantitative versions of Xu's Lemma" (2023)
"Queries with guarded negation" (2012)
- in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"Views of distributed systems." (1987)
"Interview on the Philosophy of Mathematics" (2008)
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
- in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019)
