Functional interpretations over finite types with star types, submitted, 2026.
Quantitative results on a generalized viscosity approximation method, with Laurențiu Leuștean, submitted, 2025, arXiv:2512.09968 [math.OC].
Rate of metastability of an iterative algorithm for quadratic optimization, submitted, 2025, arXiv:2506.11342 [math.OC].
Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration, with Laurențiu Leuștean, Portugaliae Mathematica, 2025, published online first, DOI.
The alternating Halpern-Mann iteration for families of maps, with Pedro Pinto, Journal of Computational and Applied Mathematics, 485 (2026) 117514, DOI.
Quantitative asymptotic regularity of the VAM iteration with error terms for m-accretive operators in Banach spaces, with Laurențiu Leuștean, Zeitschrift für Analysis und ihre Anwendungen, 44:501-519, 2025 (published online first in 2024). DOI.
Herbrandized modified realizability, with Gilda Ferreira, Archive for Mathematical Logic (2024) 63:703-721, DOI.