- in: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022)
- in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
"Gap-planar graphs" (2018)
"Proof interpretations and the computational content of proofs in mathematics" (2007)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
- in: Dinis B. and Pinto P.
"Effective metastability for a method of alternating resolvents" (2024) - in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) - in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) - 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: 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) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
"Turning Borel sets into clopen sets effectively" (2012)
- in: Bae S.W., Baffier J.F., Chun J., Eades P., Eickmeyer K., Grilli L., Hong S.H., Korman M., Montecchiani F., Rutter I. and Tóth C.D.
"Gap-planar graphs" (2018) - in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013)
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
- in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017) - in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
"Denotational completness revisited" (1999)
- in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Keimel K.
"Bi-continuous valuations" (1998) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - 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: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998)
"Model Theory of Modal Logic" (2006)
"EM functors for a class of generalized quantifiers" (1992)
"First-order queries on databases embedded in an infinite structure" (1996)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"Kreisel's shift of emphasis and contemporary proof mining" (2023)
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
"Impredicativity entails untypedness" (2002)
"Order environments of topological spaces" (2004)
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
"Complexity of Laplace's and Poisson's Equation" (2014)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - 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. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020)
"Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
- in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
- in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022) - in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
"The way-below relation of function spaces over semantic domains" (1998)
"Galois Connections for Partial Algebras" (2004)
"From Calculus to Algorithms without Errors" (2014)
- in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Escardó M., Hofmann M. and Streicher T.
"On the non-sequential nature of the interval-domain model of real-number computation" (2004) - in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002) - in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
"A tiny constraint functional logic language and its continuation semantics." (1994)
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
"Foundational and mathematical uses of higher types" (2002)
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
"Certifying optimality of state estimation programs" (2003)
"Real Benefit of Promises and Advice" (2013)
- in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016)
