Publications

Quantitative results on Fejer monotone sequences (with Ulrich Kohlenbach and Adriana Nicolae)
arXiv:1412.5563 [math.LO], 2015.

A note on an alternative iterative method for nonexpansive mappings (with Adriana Nicolae)
arXiv:1504.01752 [math.FA], 2015; accepted for publication in Journal of Convex Analysis.

Effective results on nonlinear ergodic averages in CAT(k) spaces (with Adriana Nicolae)
Ergodic Theory and Dynamical Systems, DOI: 10.1017/etds.2015.31, 2015.

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

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

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

An application of proof mining to nonlinear iterations
Annals of Pure and Appplied Logic 165 (2014), 1484-1500

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

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

On the computational content of convergence proofs via Banach limits (with Ulrich Kohlenbach)
Philosophical Transactions of the Royal Society A, Vol. 370 (2012), No. 1971, 3449-3463.9
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/2011, 20-22.

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

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

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

Maximal residuated lattices with lifting boolean center (with George Georgescu and Claudia Muresan)
Algebra Universalis, Vol. 63 (2010), No. 1, 83-99,.

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

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

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

Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings
in C.S. Calude, G. Stefanescu, and 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, Vol. 13, No. 11 (2007), 1680-1691.

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

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

Baer extensions of BL-algebras
Journal of Multiple-Valued Logic and Soft Computing, Vol. 12 (2006), No. 3-4, 321-336 .

Proof mining in R-trees and hyperbolic spaces
Electronic Notes in Theoretical Computer Science, Vol. 165 (2006), 95-106;
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, 9-15 January 2006.

Sheaf representations of BL-algebras
Soft Computing, Vol. 9 (2005), No. 12, Special Issue on BL-algebras, 897 - 909.

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

Pseudo-hoops (with George Georgescu and Viorel Preoteasa)
Journal of Multiple-Valued Logic and Soft Computing, Vol. 11 (2005), No. 1-2, 153-184.

Compact representations of BL-algebras (with Antonio Di Nola)
Archive for Mathematical Logic, Vol. 42 (2003), No. 8, 737-761;

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

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

Certifying Kalman Filters (with Grigore Rosu)
RIACS Technical Report TR.03.02, Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center, Moffet Field, California, USA, January 2003.

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

Canonical models and filtrations in three-valued propositional modal logic
Journal of Multiple-Valued Logic, Vol. 8, No. 1-2 (2002), 577-590.

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

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

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