Laurentiu Leustean - Publications

Publications

Books

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

Papers

Recent developments in proof mining (with Ulrich Kohlenbach)
Mathematisches Forschungsinstitut Oberwolfach, Report No. 52/2011, 20-22.

On the computational content of convergence proofs via Banach limits (with Ulrich Kohlenbach)
to appear in Philosophical Transactions of the Royal Society A.

Effective metastability of Halpern iterates in CAT(0) spaces (with Ulrich Kohlenbach)
arXiv:1107.3215v1 [math.FA], 2011.

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.

Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm
Buletinul ştiinţific al Universităţii "Politehnica" din Timişoara, seria Automatică şi Calculatoare, Vol. 47(61), No. 1 (2002), 77-82;
in Proceedings of CONTI'2002-The 5th International Conference on Technical Informatics, 18-19 October 2002, Timişoara, Romania.

Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm
Studies in Informatics and Control, Vol. 10, No. 4 (2001), 287-299.

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

Some algebraic properties of non-commutative fuzzy structures
Studies in Informatics and Control, Vol. 9, No. 4 (2000), 365-370.

Applications of feed-forward neural networks to ecological phenomena forecasting (with Costel Barbălată)
in Proceedings of ICTPA'2000, Bucharest, Romania, October 18-20, 2000.

Consistence evaluation of a man-machine interaction language using connectionist models (with Costin Pribeanu)
Revista Româna de Informatică şi Automatică, Vol. 10 (2000), No. 3, 40-45 (in Romanian).

Applications of neural networks to natural phenomena forecasting (with Costel Barbălată)
Revista Româna de Informatică şi Automatică, Vol. 8, No. 2 (1998), 37-44 (in Romanian).

Applications of neural networks to some ecological phenomena forecasting
in Proceedings of the 3rd International Symposium of Economic Informatics, Bucharest, Romania, 1997, 600-603.

Theses

Systems of dynamic logic
Master Thesis, University of Bucharest 1996, 57 pp. (in Romanian)

Drafts

Detecting errors in domain theories (with Julian Richardson)
draft, 2003.

Average monthly liquid flow forecasting using neural networks (with Costel Barbălată)
draft, 2002.

Home