- in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009)
- 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: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) - in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (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: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) - in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) - in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - 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: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) - in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012) - in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) - in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) - in: Keimel K. and Lawson J.D.
"-completions and the -topology" (2009) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) - 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. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009) - in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005) - in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) - in: Keimel K.
"Bi-continuous valuations" (1998) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) - 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: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) - in: Briseid E.M.
"Some Results on Kirk's Asymptotic Contractions" (2007) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
"FO Model Checking on Map Graphs" (2017)
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
"Bisimulation and coverings for graphs and hypergraphs" (2013)
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017)
"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)
"Bisimulation invariance and finite models" (2006)
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025) - 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: 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: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Gerhardy P. and Kohlenbach U.
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005) - in: Gerhardy P. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) - in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U. and Pinto P.
"Fejér monotone sequences revisited" (2025) - in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023) - in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - 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.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021) - in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) - 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.
"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019) - in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Kohlenbach U., Leuştean L. and Nicolae A.
"Quantitative results on Fejér monotone sequences " (2018) - in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT-spaces" (2017) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"Quantitative asymptotic regularity for the composition of two mappings" (2017) - 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 disjunctive Markov principle" (2015) - 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.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Kohlenbach U.
"A note on the monotone functional interpretation" (2011) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) - 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.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) - in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005) - in: Kohlenbach U.
"Higher order reverse mathematics" (2005) - in: Kohlenbach U.
"Proof Interpretations and the Computational Content of Proofs" (2005) - in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003) - in: Kohlenbach U. and Oliva P.
"Proof mining in L-approximation" (2003) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) - in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Kohlenbach U.
"On weak Markov's principle" (2002) - in: Kohlenbach U.
"A note on Spector's quantifier-free rule of extensionality" (2001) - in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) - in: Kohlenbach U.
"Intuitionistic choice and restricted classical logic" (2001) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) - in: Kohlenbach U.
"A note on Goodman's theorem" (1999) - in: Kohlenbach U.
"On the no-counterexample interpretation" (1999) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) - in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Kohlenbach U.
"Relative constructivity" (1998) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) - in: Kohlenbach U.
"A note on the -induction rule" (1995) - 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: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) - in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (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.
"Term extraction and Ramsey's theorem for pairs." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) - in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024) - in: Pischke N. and Kohlenbach U.
"Quantitative analysis of a subgradient-type method for equilibrium problems" (2022) - in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012) - in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007) - in: Treusch J. and Kohlenbach U.
"Rates of convergence for splitting algorithms" (2025)
"On the boundedness problem for two-variable first-order logic" (1998)
"On uniform weak König's lemma" (2002)
"Gap-planar graphs" (2018)
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
"On Korpelevich's Extragradient Algorithm" (2023)
- 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)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023) - in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
- in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
- 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.
"On the strength of weak compactness." (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: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraß principle." (2011) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009)
- in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) - in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013) - in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007)
- in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020)
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
"Gödel's functional interpretation and its use in current mathematics" (2011)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
