Laurentiu Leustean

According to our database, Laurentiu Leustean authored at least 16 papers between 2003 and 2024.

Collaborative distances:

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

2024

Rates of asymptotic regularity for the alternating Halpern-Mann iteration.

Laurentiu Leustean, Pedro Pinto

Optim. Lett., March, 2024

Proceedings Eighth Symposium on Working Formal Methods.

Mircea Marin, Laurentiu Leustean

CoRR, 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

2021

Quantitative results on a Halpern-type proximal point algorithm.

Laurentiu Leustean, Pedro Pinto

Comput. Optim. Appl., 2021

2020

Preface.

Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu

Fundam. Informaticae, 2020

2018

An abstract proximal point algorithm.

Laurentiu Leustean, Adriana Nicolae, Andrei Sipos

J. Glob. Optim., 2018

2014

An application of proof mining to nonlinear iterations.

Laurentiu Leustean

Ann. Pure Appl. Log., 2014

2011

Pseudo Hoops.

George Georgescu, Laurentiu Leustean, Viorel Preoteasa

Arch. Formal Proofs, 2011

2007

Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings.

Laurentiu Leustean

J. Univers. Comput. Sci., 2007

2006

Baer Extensions of BL-algebras.

Laurentiu Leustean

J. Multiple Valued Log. Soft Comput., 2006

Proof Mining in R-trees and Hyperbolic Spaces.

Laurentiu Leustean

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Sheaf representations of BL-algebras.

Laurentiu Leustean

Soft Comput., 2005

Approximate fixed points of nonexpansive functions in product spaces.

Ulrich Kohlenbach, Laurentiu Leustean

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2003

Compact representations of BL-algebras.

Antonio Di Nola, Laurentiu Leustean

Arch. Math. Log., 2003

Certifying Optimality of State Estimation Programs.

Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean

Proceedings of the Computer Aided Verification, 15th International Conference, 2003