Horatiu Cheval

According to our database, Horatiu Cheval authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Proceedings 9th edition of Working Formal Methods Symposium.

Andrei Arusoaie, Horatiu Cheval, Radu Iosif

CoRR, September, 2025

2024

Formal definitions and proofs for partial (co)recursive functions.

Horatiu Cheval, David Nowak, Vlad Rusu

J. Log. Algebraic Methods Program., 2024

2023

On Modified Halpern and Tikhonov-Mann Iterations.

Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean

J. Optim. Theory Appl., April, 2023

2022

Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration.

Horatiu Cheval, Laurentiu Leustean

Optim. Methods Softw., 2022