Laurentiu Leustean

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 6

Top Topics

Proximal Point Algorithm

False Positive And False Negative

Workshop On Data Mining

Top Venues

Fundam. Informaticae

J. Optim. Theory Appl.

Ann. Pure Appl. Log.

J. Glob. Optim.

Publications

Laurentiu Leustean, Pedro Pinto
Rates of asymptotic regularity for the alternating Halpern-Mann iteration. Optim. Lett. 18 (2) (2024)
Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
On Modified Halpern and Tikhonov-Mann Iterations. J. Optim. Theory Appl. 197 (1) (2023)
Horatiu Cheval, Laurentiu Leustean
Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration. Optim. Methods Softw. 37 (6) (2022)
Laurentiu Leustean, Pedro Pinto
Quantitative results on a Halpern-type proximal point algorithm. Comput. Optim. Appl. 79 (1) (2021)
Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu
Preface. Fundam. Informaticae 173 (2-3) (2020)
Laurentiu Leustean, Adriana Nicolae, Andrei Sipos
An abstract proximal point algorithm. J. Glob. Optim. 72 (3) (2018)
Laurentiu Leustean
An application of proof mining to nonlinear iterations. Ann. Pure Appl. Log. 165 (9) (2014)
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
Pseudo Hoops. Arch. Formal Proofs 2011 (2011)
Laurentiu Leustean
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings. J. Univers. Comput. Sci. 13 (11) (2007)
Laurentiu Leustean
Proof Mining in R-trees and Hyperbolic Spaces. Electron. Notes Theor. Comput. Sci. 165 (2006)
Laurentiu Leustean
Baer Extensions of BL-algebras. J. Multiple Valued Log. Soft Comput. 12 (3-4) (2006)
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
Pseudo-hoops. J. Multiple Valued Log. Soft Comput. 11 (1-2) (2005)
Laurentiu Leustean
Sheaf representations of BL-algebras. Soft Comput. 9 (12) (2005)
Ulrich Kohlenbach, Laurentiu Leustean
Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs (2005)
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
Certifying Optimality of State Estimation Programs. CAV (2003)
Antonio Di Nola, Laurentiu Leustean
Compact representations of BL-algebras. Arch. Math. Log. 42 (8) (2003)