- in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005)
- 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: 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.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) - 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: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) - in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - 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: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - 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.
"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 note on Goodman's theorem" (1999) - in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) - 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: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) - in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pinto P. and Pischke N.
"On Dykstra's algorithm with Bregman projections" (2024) - in: Pinto P.
"Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024) - in: Pinto P.
"On quantitative versions of Xu's Lemma" (2023) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023) - in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012) - in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010)
- in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011)
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"Locally convex cones and the Schröder--Simpson theorem" (2012)
"Universes in Toposes" (2005)
"Boundedness of monadic FO over acyclic structures" (2007)
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (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: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - 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: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014) - in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010) - in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014) - in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014) - in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Blumensath A. and Grädel E.
"Automatic Structures" (2000) - in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) - in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005) - in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011) - in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000) - in: Grädel E. and Otto M.
"On logics with two variables" (1999) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) - in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) - in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - 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: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (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.
"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.
"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: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Kohlenbach U.
"Proof theory and computational analysis" (1998) - in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) - in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Otto M.
"Ptime canonization for two variables with counting" (1995) - in: Otto M.
"Generalized quantifiers for simple properties" (1994) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) - in: Streicher T.
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017) - in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- 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)
"Proof-theoretic methods in nonlinear analysis" (2019)
"Continuous Lattices and Domains" (2003)
"Boundedness of monadic second-order formulae over finite words" (2009)
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001)
- in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) - in: Pischke N.
"Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024)
- in: Freund A.
"Patterns of resemblance and Bachmann-Howard fixed points" (2022) - in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025)
"The logic of explicitly representation-invariant circuits" (1997)
- in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- in: Broy M. and Streicher T.
"Views of distributed systems." (1987) - 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., 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.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004) - in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) - in: Streicher T.
"Semantics of Type Theory" (1991)
"Strongly uniform bounds from semi-constructive proofs" (2006)
"Topological Cones: Functional Analysis in a T-Setting" (2008)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) - in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025)
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
"Choice free Fixed Point Property in separable Banach spaces" (2014)
- in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Kohlenbach U. and Pinto P.
"Fejér monotone sequences revisited" (2025) - 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., Leuştean L. and Nicolae A.
"Quantitative results on Fejér monotone sequences " (2018) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025)
- in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014) - in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) - in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) - in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) - 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: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) - in: Streicher T.
"Universes in Toposes" (2005)
- in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022)
- in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) - in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)
"Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)
"Specification and design of shared resource arbitration." (1991)
"Boundedness theorems for flowers and sharps" (2022)
- in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) - in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009)
- in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023)
"Shoenfield is Goedel after Krivine" (2007)
"Short Proofs for Slow Consistency" (2020)
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
- in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002)
