Quantitative asymptotic regularity of the VAM iteration with error terms for accretive operators in Banach spaces (with Paulo Firmino)
arXiv:2402.17947 [math.OC] (2024).

Linear rates of asymptotic regularity for Halpern-type iterations (with Horațiu Cheval)
arXiv:2303.05406 [math.OC] (2023).

Rates of asymptotic regularity for the alternating Halpern-Mann iteration (with Pedro Pinto)
Optimization Letters, https://doi.org/10.1007/s11590-023-02002-y (2023).

On modified Halpern and Tikhonov-Mann iterations (with Horațiu Cheval and Ulrich Kohlenbach)
Journal of Optimization Theory and Application 197:233-251 (2023).

Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration (with Horațiu Cheval)
Optimization Methods and Software 37:2225-2240 (2022).

Quantitative results on a Halpern-type proximal point algorithm (with Pedro Pinto)
Computational Optimization and Applications 79:101-125 (2021).

On the removal of weak compactness arguments in proof mining (with Fernando Ferreira and Pedro Pinto)
Advances in Mathematics 354:106728 (2019).

Effective strong convergence of the proximal point algorithm in CAT(0) spaces (with Andrei Sipoș)
Journal of Nonlinear and Variational Analysis 2:19-228 (2018).
Special issue dedicated to Simeon Reich.

An abstract proximal point algorithm (with Adriana Nicolae and Andrei Sipoș)
Journal of Global Optimization 72:553-577(2018).

An application of proof mining to the proximal point algorithm in CAT(0) spaces (with Andrei Sipoș)
in: A. Bellow, C. Calude, T. Zamfirescu (Editors), Mathematics Almost Everywhere. In Memory of Solomon Marcus, World Scientific, 153-168 (2018).

Quantitative results on Fejer monotone sequences (with Ulrich Kohlenbach and Adriana Nicolae)
Communications in Contemporary Mathematics 20:1750015 (2018).

A note on an alternative iterative method for nonexpansive mappings (with Adriana Nicolae)
Journal of Convex Analysis 24:501-503 (2017).

Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions (with Vlad Radu and Andrei Sipoș)
Journal of Nonlinear and Convex Analysis 17:2277-2292 (2016).

Barycenters in uniformly convex geodesic spaces (with Adriana Nicolae and Alexandru Zaharescu)
arXiv:1609.02589 [math.MG] (2016).

Effective results on nonlinear ergodic averages in CAT(k) spaces (with Adriana Nicolae)
Ergodic Theory and Dynamical Systems 36:2580-2601 (2016).

A note on an ergodic theorem in weakly uniformly convex geodesic spaces (with Adriana Nicolae)
Archiv der Mathematik 105:467-477 (2015).

A rate of asymptotic regularity for the Mann iteration of k-strict pseudo-contractions (with Daniel Ivan)
Numerical Functional Analysis and Optimization 36:792-798 (2015).

Firmly nonexpansive mappings in classes of geodesic spaces (with David Ariza-Ruiz and Genaro Lopez-Acedo)
Transactions of the American Mathematical Society 366:4299-4322 (2014).

An application of proof mining to nonlinear iterations
Annals of Pure and Applied Logic 165:1484-1500 (2014).

Effective results on compositions of nonexpansive mappings (with Adriana Nicolae)
Journal of Mathematical Analysis and Applications 410:902-907 (2014).

Proof-theoretic methods in nonlinear analysis III: Quantitative results on Fejer monotone sequences (with Ulrich Kohlenbach and Adriana Nicolae)
Mathematisches Forschungsinstitut Oberwolfach, Report No. 52:2960-2961 (2014).

Effective metastability of Halpern iterates in CAT(0) spaces (with Ulrich Kohlenbach)
Advances in Mathematics 231:2526-2556 (2012).
Addendum in Advances in Mathematics 250:650-651 (2014).

On the computational content of convergence proofs via Banach limits (with Ulrich Kohlenbach)
Philosophical Transactions of the Royal Society A, 370:3449-3463 (2012).
Theme Issue The foundations of computation, physics and mentality: the Turing legacy

Recent developments in proof mining (with Ulrich Kohlenbach)
Mathematisches Forschungsinstitut Oberwolfach, Report No. 52:2982-2984 (2011).

Alternative iterative methods for nonexpansive mappings, rates of convergence and application (with Vittorio Colao, Genaro Lopez-Acedo and Victoria Martin-Marquez)
Journal of Convex Analysis 18:465-487 (2011).

Nonexpansive iterations in uniformly convex W-hyperbolic spaces
in: A. Leizarowitz, B. S. Mordukhovich, I. Shafrir, A. Zaslavski (Eds.), Nonlinear Analysis and Optimization I: Nonlinear Analysis, Contemporary Mathematics 513, American Mathematical Society, 193-209 (2010).

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (with Ulrich Kohlenbach)
Journal of the European Mathematical Society 12:71-92 (2010).

Maximal residuated lattices with lifting boolean center (with George Georgescu and Claudia Mureșan)
Algebra Universalis 63:83-99 (2010).

A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces (with Ulrich Kohlenbach)
Ergodic Theory and Dynamical Systems 29:1907-1915 (2009).
Erratum in: Ergodic Theory and Dynamical Systems 29:1995 (2009).

Proof mining in metric fixed point theory and ergodic theory
Oberwolfach Preprints OWP 2009-05, Mathematisches Forschungsinstitut Oberwolfach (2009).

Recent results in proof mining, (with Ulrich Kohlenbach)
Oberwolfach Reports 5 Issue 2, European Mathematical Society Publishing House, 929-931 (2008).

Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings
in: C.S. Calude, G. Stefanescu, M. Zimand (Eds.), Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu,
Journal of Universal Computer Science, 13:1680-1691 (2007).

The approximate fixed point property in product spaces (with Ulrich Kohlenbach)
Nonlinear Analysis Series A: Theory, Methods & Applications 66:806-818 (2007).

A quadratic rate of asymptotic regularity for CAT(0)-spaces
Journal of Mathematical Analysis and Applications 325:386-399 (2007).

Baer extensions of BL-algebras
Journal of Multiple-Valued Logic and Soft Computing 12:321-336 (2006).

Proof mining in R-trees and hyperbolic spaces
Electronic Notes in Theoretical Computer Science, 165:95-106 (2006).
in: G. Mints and R. de Queiroz (Eds.), Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Stanford University, CA, USA, 18-21 July 2006.

Approximate fixed points of nonexpansive functions in product spaces (with Ulrich Kohlenbach)
in: T. Cocquand, H. Lombardi, M.-F. Roy (Eds), Mathematics, Algorithms, Proofs, Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany (2006).

Sheaf representations of BL-algebras
Soft Computing 9:897-909 (2005).

Approximate fixed point property in product spaces, (with Ulrich Kohlenbach)
Oberwolfach Reports 2 , European Mathematical Society Publishing House, 795-797 (2005).

Pseudo-hoops (with George Georgescu and Viorel Preoteasa)
Journal of Multiple-Valued Logic and Soft Computing 11:153-184 (2005).

Compact representations of BL-algebras (with Antonio Di Nola)
Archive for Mathematical Logic 42:737-761 (2003).

Mann iterates of directionally nonexpansive mappings in hyperbolic spaces (with Ulrich Kohlenbach)
Abstract and Applied Analysis 2003:449-477 (2003).

Certifying optimality of state estimation programs (with Grigore Roșu, Ram Prasad Venkatesan, Jon Whittle)
Lecture Notes in Computer Science 2725, Springer, 301-314 (2003).
in: W. A. Hunt Jr., F. Somenzi (Eds.), Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003), Boulder, CO, 8-12 July, 2003.

Certifying Kalman Filters (with Grigore Roșu)
RIACS Technical Report TR.03.02, Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center, Moffet Field, CA (2003).

The prime and maximal spectra and the reticulation of BL-algebras
Central European Journal of Mathematics 1:382-397 (2003).

Canonical models and filtrations in three-valued propositional modal logic
Journal of Multiple-Valued Logic 8:577-590 (2002).

Some classes of pseudo-BL algebras (with George Georgescu)
Journal of the Australian Mathematical Society 73:127-153 (2002).

Boolean products of BL-algebras (with Antonio Di Nola and George Georgescu)
Journal of Mathematical Analysis and Applications 251:106-131 (2000).

Books

Representations of many-valued algebras
Editura Universitară, Bucharest, 130pp (2010).