Papers Books
Papers
On the removal of weak compactness arguments in proof mining
(with Fernando Ferreira and Pedro Pinto)
arXiv:1810.01508 [math.LO], 2018.
Effective strong convergence of
the proximal point algorithm in CAT(0) spaces
(with Andrei Sipoș)
Journal of Nonlinear and Variational Analysis 2 (2018), 219228.
Special issue dedicated to Simeon Reich.
An abstract proximal point algorithm
(with Adriana Nicolae and
Andrei Sipoș)
Journal of
Global Optimization 72 (2018), 553577.
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, 2018, 153168.
Quantitative results on Fejer monotone sequences
(with Ulrich Kohlenbach
and Adriana Nicolae)
Communications in Contemporary Mathematics 20 (2018),
1750015 [42 pages].
A note on an alternative iterative method for
nonexpansive mappings (with Adriana Nicolae)
Journal of Convex Analysis 24 (2017), 501503.
Quantitative results on the Ishikawa
iteration of Lipschitz pseudocontractions
(with Vlad Radu
and Andrei Sipoș)
Journal of Nonlinear and
Convex Analysis 17 (2016), 22772292.
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 (2016), 25802601.
A note on an ergodic theorem in weakly uniformly convex geodesic
spaces (with Adriana Nicolae)
Archiv der Mathematik 105 (2015), 467477.
A rate of asymptotic regularity for the Mann iteration of kstrict pseudocontractions
(with Daniel Ivan)
Numerical Functional Analysis and Optimization 36 (2015), 792798.
Firmly nonexpansive mappings in classes of geodesic spaces
(with David ArizaRuiz and Genaro LopezAcedo)
Transactions of
the American Mathematical Society 366 (2014), 42994322.
An application of proof mining to nonlinear iterations
Annals of Pure and Appplied Logic 165 (2014), 14841500
Effective results on compositions of nonexpansive mappings
(with Adriana Nicolae)
Journal of Mathematical Analysis and Applications 410 (2014), 902907.
Prooftheoretic methods in nonlinear analysis III: Quantitative results on Fejer monotone sequences
(with Ulrich Kohlenbach
and Adriana Nicolae)
Mathematisches Forschungsinstitut Oberwolfach,
Report No. 52/2014, 29602961.
Effective metastability of Halpern iterates in CAT(0) spaces
(with Ulrich Kohlenbach)
Advances in Mathematics 231 (2012), 25262556.
Addendum in
Advances in Mathematics 250 (2014) 650651.
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, 34493463.
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, 29822984.
Alternative iterative methods for nonexpansive mappings, rates of convergence and application
(with Vittorio Colao,
Genaro LopezAcedo and Victoria MartinMarquez)
Journal of Convex Analysis 18 (2011), 465487.
Nonexpansive iterations in uniformly convex Whyperbolic spaces
in: A. Leizarowitz, B. S. Mordukhovich, I. Shafrir, A. Zaslavski (Eds.),
Nonlinear Analysis and Optimization I: Nonlinear Analysis, Contemporary Mathematics 513 (2010), American Mathematical Society, 193209.
Asymptotically nonexpansive mappings in uniformly convex hyperbolic
spaces
(with Ulrich
Kohlenbach)
Journal of the European Mathematical Society 12 (2010), 7192.
Maximal residuated lattices with lifting boolean center
(with George Georgescu and Claudia Mureșan)
Algebra Universalis 63 (2010), 8399.
A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces
(with Ulrich Kohlenbach)
Ergodic Theory and Dynamical Systems 29 (2009), 19071915. Erratum in:
Ergodic Theory and Dynamical Systems 29 (2009), 1995.
Proof mining in metric fixed point theory and ergodic theory
Oberwolfach Preprints, OWP 200905, Mathematisches Forschungsinstitut Oberwolfach.
Recent results in proof mining,
(with Ulrich
Kohlenbach)
Oberwolfach Reports 5 (2008), Issue 2, European Mathematical Society Publishing House, 929931.
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, Vol. 13, No. 11 (2007), 16801691.
The approximate fixed point property in product spaces
(with Ulrich
Kohlenbach)
Nonlinear Analysis Series A: Theory, Methods & Applications 66 (2007), 806818.
A quadratic rate of asymptotic regularity for CAT(0)spaces
Journal of Mathematical Analysis and Applications 325 (2007), 386399.
Baer extensions of BLalgebras
Journal of MultipleValued Logic and Soft Computing 12 (2006), 321336.
Proof mining in Rtrees and hyperbolic spaces
Electronic Notes in Theoretical Computer Science, 165 (2006), 95106.
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, 1821 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, 915 January 2006.
Sheaf representations of BLalgebras
Soft Computing 9 (2005), 897909.
Approximate fixed point property in product spaces,
(with Ulrich
Kohlenbach)
Oberwolfach Reports 2 (2005), Issue 1,
European Mathematical Society Publishing House, 795797.
Pseudohoops
(with George Georgescu and Viorel Preoteasa)
Journal of MultipleValued Logic and Soft Computing 11 (2005), 153184.
Compact representations of BLalgebras (with Antonio Di Nola)
Archive for Mathematical Logic 42 (2003), 737761.
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
(with Ulrich
Kohlenbach)
Abstract and Applied Analysis 2003 (2003), No. 8, 449477.
Certifying optimality of state estimation programs (with Grigore Roșu,
Ram Prasad Venkatesan,
Jon Whittle)
Lecture Notes in Computer Science 2725 (2003), Springer, 301314.
in: W. A. Hunt Jr., F. Somenzi (Eds.), Proceedings of the 15th International Conference
on Computer Aided Verification (CAV 2003), Boulder, CO, 812 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, January 2003.
The prime and maximal
spectra and the reticulation of BLalgebras
Central European Journal of Mathematics 1 (2003), 382397.
Canonical models and filtrations in threevalued propositional modal logic
Journal of MultipleValued Logic 8 (2002), 577590.
Some classes of pseudoBL algebras
(with George Georgescu)
Journal of the Australian Mathematical Society 73 (2002), 127153.
Boolean products of BLalgebras
(with Antonio Di Nola and George Georgescu)
Journal of Mathematical Analysis and Applications 251 (2000), 106131 .
Back to top
Books Representations of manyvalued algebras
Editura Universitară, Bucharest, 2010, 130pp.
Back to top
Back to top
Home
