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, submitted, 2024, Oberwolfach Preprint.
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, 2024, published online first, DOI.
Herbrandized modified realizability, with Gilda Ferreira, Archive for Mathematical Logic (2024) 63:703-721, DOI.