| Publication | Date of Publication | Type |
|---|
Proof mining and probability theory
(available as arXiv preprint) | N/A | Paper |
A proof-theoretic bound extraction theorem for monotone operators in Banach spaces
Monatshefte für Mathematik | 2026-09-18 | Paper |
Asymptotic regularity of a generalised stochastic Halpern scheme
Journal of Optimization Theory and Applications | 2026-07-09 | Paper |
Quantitative results for a Tseng-type primal-dual method for composite monotone inclusions
Computational Optimization and Applications | 2026-03-16 | Paper |
On the proximal point algorithm for strongly quasiconvex functions in Hadamard spaces
Optimization Methods & Software | 2026-03-03 | Paper |
Proof mining and probability theory
Forum of Mathematics, Sigma | 2025-12-03 | Paper |
| Generalized learnability of stochastic principles | 2025-11-19 | Paper |
Generalized Fejér monotone sequences and their finitary content
Optimization | 2025-10-22 | Paper |
On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis
Mathematical Structures in Computer Science | 2025-08-22 | Paper |
A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
Selecta Mathematica. New Series | 2025-03-19 | Paper |
Effective rates for iterations involving Bregman strongly nonexpansive operators
Set-Valued and Variational Analysis | 2025-01-13 | Paper |
Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
Transactions of the American Mathematical Society | 2025-01-08 | Paper |
Rates of convergence for the asymptotic behavior of second-order Cauchy problems
Journal of Mathematical Analysis and Applications | 2024-02-05 | Paper |
On computational properties of Cauchy problems generated by accretive operators
Documenta Mathematica | 2024-01-12 | Paper |
| Generalized Fej\'er monotone sequences and their finitary content | 2023-12-04 | Paper |
On Korpelevich's extragradient algorithm
Zeitschrift für Analysis und ihre Anwendungen | 2023-11-06 | Paper |
On intermediate justification logics
Logic Journal of the IGPL | 2023-07-06 | Paper |
Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space
(available as arXiv preprint) | 2023-05-12 | Paper |
| Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space | 2023-05-12 | Paper |
| A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications | 2023-04-04 | Paper |
On infinitary Gödel logics
Journal Of Logic And Computation | 2023-02-20 | Paper |
Gödel justification logics and realization
Logic Journal of the IGPL | 2022-07-22 | Paper |
| Logical metatheorems for accretive and (generalized) monotone set-valued operators | 2022-05-03 | Paper |
Quantitative analysis of a subgradient-type method for equilibrium problems
Numerical Algorithms | 2022-04-22 | Paper |
Correction to: ``Quantitative analysis of a subgradient-type method for equilibrium problems''
Numerical Algorithms | 2022-04-22 | Paper |
A note on strong axiomatization of Gödel justification logic
Studia Logica | 2020-08-25 | Paper |
| Standard G\"odel modal logics are not realized by G\"odel justification logics | 2019-07-10 | Paper |
On Infinitary G\"odel logics
(available as arXiv preprint) | 2017-08-25 | Paper |
| Dynamic extensions for the logic of knowing why with public announcements of formulas | 2017-07-18 | Paper |
| A note on public announcements in standard G\"odel modal logic | 2017-07-18 | Paper |
