| Publication | Date of Publication | Type |
|---|
| Effective rates for iterations involving Bregman strongly nonexpansive operators | 2025-01-13 | Paper |
| Book review of: M. Hämeen-Anttila (ed.) and J. von Plato (ed.), Kurt Gödel. The Princeton lectures on intuitionism | 2024-06-07 | Paper |
| Rates of Convergence and Metastability for Chidume’s Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces | 2024-04-03 | Paper |
| Fej\'er monotone sequences revisited | 2023-10-10 | Paper |
| Bounds for a nonlinear ergodic theorem for Banach spaces | 2023-04-27 | Paper |
| On modified Halpern and Tikhonov-Mann iterations | 2023-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104552 | 2022-09-14 | Paper |
| Quantitative analysis of a subgradient-type method for equilibrium problems | 2022-04-22 | Paper |
| Correction to: ``Quantitative analysis of a subgradient-type method for equilibrium problems | 2022-04-22 | Paper |
| R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces | 2022-04-08 | Paper |
| On modified Halpern and Tikhonov-Mann iterations | 2022-03-21 | Paper |
| On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space | 2022-03-15 | Paper |
| Quantitative translations for viscosity approximation methods in hyperbolic spaces | 2021-12-13 | Paper |
| Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness | 2021-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3389145 | 2021-05-07 | Paper |
| A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man game | 2021-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144484 | 2021-01-18 | Paper |
| The finitary content of sunny nonexpansive retractions | 2020-10-26 | Paper |
| PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS | 2020-09-22 | Paper |
| On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness | 2020-01-17 | Paper |
| Moduli of regularity and rates of convergence for Fejér monotone sequences | 2019-08-12 | Paper |
| A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space | 2019-02-21 | Paper |
| On proximal mappings with Young functions in uniformly convex Banach spaces | 2018-11-27 | Paper |
| INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES | 2018-10-26 | Paper |
| Quantitative results on Fejér monotone sequences | 2017-12-01 | Paper |
| Quantitative asymptotic regularity results for the composition of two mappings | 2017-09-12 | Paper |
| A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces | 2017-07-19 | Paper |
| On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces | 2017-01-11 | Paper |
| Logical metatheorems for abstract spaces axiomatized in positive bounded logic | 2016-02-02 | Paper |
| On the disjunctive Markov principle | 2015-12-07 | Paper |
| Effective asymptotic regularity for one-parameter nonexpansive semigroups | 2015-09-30 | Paper |
| On the computational content of convergence proofs via Banach limits | 2015-08-21 | Paper |
| Classical provability of uniform versions and intuitionistic provability | 2015-06-22 | Paper |
| Quantitative results on Fejer monotone sequences | 2014-12-17 | Paper |
| Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators | 2014-11-19 | Paper |
| Quantitative image recovery theorems | 2014-05-27 | Paper |
| Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces | 2014-04-14 | Paper |
| Rate of Metastability for Bruck'S Iteration of Pseudocontractive Mappings in Hilbert Space | 2014-04-14 | Paper |
| Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces | 2014-04-02 | Paper |
| Fluctuations, effective learnability and metastability in analysis | 2014-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2856500 | 2013-10-29 | Paper |
| A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces | 2013-05-03 | Paper |
| Effective metastability of Halpern iterates in \(CAT(0)\) spaces | 2012-11-02 | Paper |
| Gödel functional interpretation and weak compactness | 2012-09-26 | Paper |
| Term extraction and Ramsey's theorem for pairs | 2012-09-19 | Paper |
| A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM | 2012-03-21 | Paper |
| A note on the monotone functional interpretation | 2011-12-23 | Paper |
| Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces | 2011-07-22 | Paper |
| On the asymptotic behavior of odd operators | 2011-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001098 | 2011-05-31 | Paper |
| On quantitative versions of theorems due to F. E. Browder and R. Wittmann | 2011-02-09 | Paper |
| On the computational content of the Bolzano-Weierstraß Principle | 2010-11-04 | Paper |
| Ramsey's theorem for pairs and provably recursive functions | 2010-09-02 | Paper |
| On Tao's “finitary” infinite pigeonhole principle | 2010-03-15 | Paper |
| Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces | 2010-01-28 | Paper |
| A quantitative mean ergodic theorem for uniformly convex Banach spaces | 2009-12-14 | Paper |
| A quantitative mean ergodic theorem for uniformly convex Banach spaces – ERRATUM | 2009-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396625 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635861 | 2009-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384977 | 2008-04-29 | Paper |
| Applied Proof Theory: Proof Interpretations and Their Use in Mathematics | 2008-03-12 | Paper |
| General logical metatheorems for functional analysis | 2008-02-15 | Paper |
| Shoenfield is Gödel after Krivine | 2007-05-11 | Paper |
| The approximate fixed point property in product spaces | 2007-02-14 | Paper |
| Strongly uniform bounds from semi-constructive proofs | 2006-08-16 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711891 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465197 | 2005-08-22 | Paper |
| Extracting Herbrand disjunctions by functional interpretation | 2005-08-17 | Paper |
| A complexity analysis of functional interpretations | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681899 | 2005-06-08 | Paper |
| Some computational aspects of metric fixed-point theory | 2005-05-04 | Paper |
| Some logical metatheorems with applications in functional analysis | 2004-10-05 | Paper |
| Mann iterates of directionally nonexpansive mappings in hyperbolic spaces | 2003-06-18 | Paper |
| Uniform asymptotic regularity for Mann iterates. | 2003-05-25 | Paper |
| Proof mining in \(L_{1}\)-approximation | 2003-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793025 | 2003-02-18 | Paper |
| A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR | 2002-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765568 | 2002-09-16 | Paper |
| A note on Goodman's theorem | 2002-07-22 | Paper |
| On uniform weak König's lemma | 2002-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531986 | 2002-05-27 | Paper |
| A note on Spector's quantifier-free rule of extensionality | 2002-03-12 | Paper |
| On Weak Markov's Principle | 2002-01-01 | Paper |
| On the No-Counterexample Interpretation | 2001-05-10 | Paper |
| Things that can and things that cannot be done in PRA | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941992 | 2001-02-14 | Paper |
| On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness | 2000-10-08 | Paper |
| Relative constructivity | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218526 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222972 | 1999-01-06 | Paper |
| Elimination of Skolem functions for monotone formulas in analysis | 1998-11-25 | Paper |
| Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals | 1998-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837732 | 1998-01-27 | Paper |
| A note on the \(\Pi_ 2^ 0\)-induction rule | 1996-02-20 | Paper |
| Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation | 1994-09-01 | Paper |
| Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization | 1993-04-01 | Paper |
| 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-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002004 | 1992-09-18 | Paper |
| Remarks on Herbrand normal forms and Herbrand realizations | 1992-06-25 | Paper |
| Pointwise hereditary majorization and some applications | 1992-01-01 | Paper |
