Laurentiu Leustean

20 papers A* 1C 1Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Matching logic - a new axiomatization.
CoRR
Laurentiu Leustean, Dafina Trufas
2025 J jnl
Notes on applicative matching logic.
CoRR
Laurentiu Leustean
2024 — ed.
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18.
FROM
Mircea Marin, Laurentiu Leustean
2024 J jnl
Rates of asymptotic regularity for the alternating Halpern-Mann iteration.
Optim. Lett.
Laurentiu Leustean, Pedro Pinto
2023 J jnl
On Modified Halpern and Tikhonov-Mann Iterations.
J. Optim. Theory Appl.
Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
2023 — ed.
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023.
FROM
Horatiu Cheval, Laurentiu Leustean, Andrei Sipos
2022 J jnl
Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration.
Optim. Methods Softw.
Horatiu Cheval, Laurentiu Leustean
2021 J jnl
Quantitative results on a Halpern-type proximal point algorithm.
Comput. Optim. Appl.
Laurentiu Leustean, Pedro Pinto
2020 J jnl
Preface.
Fundam. Informaticae
Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu
2018 J jnl
An abstract proximal point algorithm.
J. Glob. Optim.
Laurentiu Leustean, Adriana Nicolae, Andrei Sipos
2014 J jnl
An application of proof mining to nonlinear iterations.
Ann. Pure Appl. Log.
Laurentiu Leustean
2011 J jnl
Pseudo Hoops.
Arch. Formal Proofs
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
2007 J jnl
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings.
J. Univers. Comput. Sci.
Laurentiu Leustean
2006 J jnl
Baer Extensions of BL-algebras.
J. Multiple Valued Log. Soft Comput.
Laurentiu Leustean
2006 C conf
Proof Mining in R-trees and Hyperbolic Spaces.
WoLLIC
Laurentiu Leustean
2005 — conf
Approximate fixed points of nonexpansive functions in product spaces.
Mathematics, Algorithms, Proofs
Ulrich Kohlenbach, Laurentiu Leustean
2005 J jnl
Pseudo-hoops.
J. Multiple Valued Log. Soft Comput.
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
2005 J jnl
Sheaf representations of BL-algebras.
Soft Comput.
Laurentiu Leustean
2003 A* conf
Certifying Optimality of State Estimation Programs.
CAV
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
2003 J jnl
Compact representations of BL-algebras.
Arch. Math. Log.
Antonio Di Nola, Laurentiu Leustean