Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration. - Horatiu Cheval; Laurentiu Leustean (Optim. Methods Softw., 2022)

On Modified Halpern and Tikhonov-Mann Iterations. - Horatiu Cheval; Ulrich Kohlenbach; Laurentiu Leustean (J. Optim. Theory Appl., 2023)

Formal definitions and proofs for partial (co)recursive functions. - Horatiu Cheval; David Nowak; Vlad Rusu (J. Log. Algebraic Methods Program., 2024)