"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
"The alternating Halpern-Mann iteration for families of maps" (2024)
"Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
- in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- 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)
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
"Foundational and mathematical uses of higher types" (2002)
- 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)
"Certifying Kalman Filters" (2003)
"Canonical models and filtrations in three-valued propositional modal logic" (2002)
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024)
- in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) - in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"Generalized Fejér monotone sequences and their finitary content" (2025)
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) - 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: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) - in: Otto M.
"Acyclicity in finite groups and groupoids" (2018) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017) - in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015) - in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015) - in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) - in: Otto M.
"Bisimulation invariance and finite models" (2006) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004) - in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997)
"The alternating Halpern-Mann iteration for families of maps" (2024)
- 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: 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: 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: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) - 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.
"The boundedness problem for monadic universal first-order logic" (2006) - in: Otto M.
"Two-variable first-order logic over ordered domains" (2001) - in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) - in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996)
- in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002) - in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) - 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: Dinis B. and Pinto P.
"Effective metastability for a method of alternating resolvents" (2024) - in: Freund A.
"Patterns of resemblance and Bachmann-Howard fixed points" (2022) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019) - in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006) - in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - 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.
"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.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
"The expressive power of fixed-point logic with counting" (1996)
- in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) - 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)
"Boundedness theorems for flowers and sharps" (2022)
"Fluctuations, effective learnability and metastability in analysis" (2014)
"Logical theories and compatible operations" (2007)
- in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) - in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009) - in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- 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)
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
- in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) - in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009)
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
- in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (1992)
"Boundedness of monadic second-order formulae over finite words" (2009)
"Elimination of Skolem functions for monotone formulas in analysis" (1998)
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002) - in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000)
- in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (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: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008)
"Foundational and mathematical uses of higher types" (2002)
- in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006) - in: Kohlenbach U.
"Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020) - in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) - in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) - in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006)
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- 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: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012) - in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010) - in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- in: Fujiwara M. and Kohlenbach U.
"Interrelation between weak fragments of double negation shift and related principles" (2018) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009) - in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005)
- in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995) - in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014)
"The freedoms of (guarded) bisimulation" (2014)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Ackermann and Goodstein go functorial" (2021) - in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Freund A.
"A mathematical commitment without computational strength" (2022) - in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Freund A.
"Patterns of resemblance and Bachmann-Howard fixed points" (2022) - 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: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Freund A.
"Well ordering principles and Pi-statements: a pilot study" (2021) - in: Freund A.
"A note on ordinal exponentiation and derivatives of normal functions" (2020) - in: Freund A.
"Computable Aspects of the Bachmann-Howard Principle" (2020) - in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Freund A.
"Predicative Collapsing Principles" (2020) - in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Freund A. and Pakhomov F.
"Short Proofs for Slow Consistency" (2020) - in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) - in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019) - in: Freund A.
"A Note on Iterated Consistency and Infinite Proofs" (2019) - in: Freund A.
"Pi-Comprehension as a Well-Ordering Principle" (2019)
"From Kruskal's theorem to Friedman's gap condition" (2020)
- in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - 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) - in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) - in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017) - 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: Streicher T.
"Universes in Toposes" (2005)
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- 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)
"Full abstraction and universality via realisability" (1999)
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) - in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) - in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) - 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: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - 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: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) - 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.
"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.
"Proof mining in functional analysis (abstract)" (2005) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - 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: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) - in: Pinto P.
"A rate of metastability for the Halpern type Proximal Point Algorithm" (2021) - in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) - in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006)
- in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on are continuous." (2002) - in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Freund A. and Rathjen M.
"Derivatives of normal functions in reverse mathematics" (2021) - in: Freund A.
"A note on ordinal exponentiation and derivatives of normal functions" (2020) - in: Freund A.
"How strong are single fixed points of normal functions?" (2020) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) - in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
"Ackermann and Goodstein go functorial" (2021)
"EM functors for a class of generalized quantifiers" (1992)
"Turning Borel sets into clopen sets effectively" (2012)
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
"FO Model Checking on Map Graphs" (2017)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) - in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
- in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) - in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
"Sheaf representations of BL-algebras" (2005)
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
"Some algebraic properties of non-commutative fuzzy structures" (2000)
