Certifying Optimality of State Estimation Programs. - Grigore Rosu; Ram Prasad Venkatesan; Jon Whittle 001; Laurentiu Leustean (CAV, 2003)

Compact representations of BL-algebras. - Antonio Di Nola; Laurentiu Leustean (Arch. Math. Log., 2003)

Approximate fixed points of nonexpansive functions in product spaces. - Ulrich Kohlenbach; Laurentiu Leustean (Mathematics, Algorithms, Proofs, 2005)

Sheaf representations of BL-algebras. - Laurentiu Leustean (Soft Comput., 2005)

Proof Mining in R-trees and Hyperbolic Spaces. - Laurentiu Leustean (WoLLIC, 2006)

Baer Extensions of BL-algebras. - Laurentiu Leustean (J. Multiple Valued Log. Soft Comput., 2006)

Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings. - Laurentiu Leustean (J. Univers. Comput. Sci., 2007)

Pseudo Hoops. - George Georgescu; Laurentiu Leustean; Viorel Preoteasa (Arch. Formal Proofs, 2011)

An application of proof mining to nonlinear iterations. - Laurentiu Leustean (Ann. Pure Appl. Log., 2014)

An abstract proximal point algorithm. - Laurentiu Leustean; Adriana Nicolae; Andrei Sipos (J. Glob. Optim., 2018)

Preface. - Jetty Kleijn; Laurentiu Leustean; Dorel Lucanu (Fundam. Informaticae, 2020)

Quantitative results on a Halpern-type proximal point algorithm. - Laurentiu Leustean; Pedro Pinto 003 (Comput. Optim. Appl., 2021)

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)

Rates of asymptotic regularity for the alternating Halpern-Mann iteration. - Laurentiu Leustean; Pedro Pinto 003 (Optim. Lett., 2024)

Notes on applicative matching logic. - Laurentiu Leustean (CoRR, 2025)

Matching logic - a new axiomatization. - Laurentiu Leustean; Dafina Trufas (CoRR, 2025)