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)

arXiv:2206.02226 [math.OC] (2023).

On modified Halpern and Tikhonov-Mann iterations
(with Horațiu Cheval and Ulrich Kohlenbach)

arXiv:2203.11003 [math.OC] (2023); accepted for publication in Journal of Optimization Theory and Applications.

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).

Representations of many-valued algebras

Editura Universitară, Bucharest, 130pp (2010).