- in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
- in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
"Inductive construction of repletion" (1999)
- 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.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
"On Infinitary Gödel Logics" (2023)
- 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: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Freund A.
"A Note on Iterated Consistency and Infinite Proofs" (2019) - in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996)
- in: Hofmann M. and Streicher T.
"Completeness of continuation models for -calculus" (2002) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
- in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001) - in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
- 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: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) - in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) - in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) - in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996) - in: Otto M.
"Note on the number of monadic quantifiers in monadic " (1995)
- in: Ciardelli I. and Otto M.
"Inquisitive bisimulation" (2018) - in: Ciardelli I. and Otto M.
"Bisimulation in inquisitive modal logic" (2017)
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
"Certifying Kalman Filters" (2003)
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) - 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: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011)
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
"On Intermediate Justification Logics" (2023)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) - in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) - in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) - in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
"An interpolation theorem" (2000)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Gerhardy P. and Kohlenbach U.
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005) - in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (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.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Kohlenbach U.
"On the no-counterexample interpretation" (1999) - in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) - in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
- in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004) - in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) - in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) - in: Kohlenbach U.
"Proof Interpretations and the Computational Content of Proofs" (2005)
"Interrelation between weak fragments of double negation shift and related principles" (2018)
"On the non-sequential nature of the interval-domain model of real-number computation" (2004)
"Interview on the Philosophy of Mathematics" (2008)
- in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) - in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009)
"The intrinsic topology of Martin-Löf universes" (2016)
- in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) - in: Kohlenbach U.
"Intuitionistic choice and restricted classical logic" (2001) - in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
"Bisimulation invariance and finite models" (2006)
"A Gentzen system for involutive residuated lattices" (2005)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) - 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: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007)
"Realizability models refuting Ishihara's boundedness principle." (2012)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
"Classes of Polish spaces under effective Borel isomorphism" (2014)
- 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 quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) - in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025) - in: Treusch J. and Kohlenbach U.
"Rates of convergence for splitting algorithms" (2025)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- 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)
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
"A Note on Iterated Consistency and Infinite Proofs" (2019)
- in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003)
- in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023) - in: Firmino P. and Pinto P.
"The alternating Halpern-Mann iteration for families of maps" (2024) - 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.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Leuştean L. and Pinto P.
"Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024)
- in: Horatiu Cheval U.K. and Leuştean L.
"On modified Halpern and Tikhonov-Mann iterations" (2023) - in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) - in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - 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)
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K. and Lawson J.D.
"Measure extension theorems for -spaces" (2005) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (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.
"Recent progress in proof mining in nonlinear analysis" (2017) - 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: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
"Forcing for IZF in Sheaf Toposes" (2009)
