[1] B. Bánhelyi. A verified optimization technique to locate chaotic regions of a Hénon system. Journal of Global Optimization (IF2004:0.693), 35:145-160, 2006. (pdf)

[2] B. Bánhelyi, T. Csendes, and B.M. Garay. Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. International Journal of Bifurcation and Chaos (IF2004:1.019), 17:735-747 , 2007. (pdf)

[3] B. Bánhelyi and T. Csendes. A verified computational technique to locate chaotic regions of Hénon systems. In Proceedings of the 6th International Conference on Applied Informatics (ICAI2004), Eger, pages 297-304, 2004. (pdf)

[4] B. Bánhelyi, T. Csendes, and B.M. Garay. A verified optimization technique to bound topological entropy rigorously. In Proceedings of 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), Duisburg (Germany). IEEE, 2007. Közlésre elfogadva (pdf)

[5] T. Csendes, B. Bánhelyi, and L. Hatvani. Towards a computer-assisted proof for chaos in a forced damped pendulum equation. Journal of Computational and Applied Mathematics (IF2005:0.688), 199:378-383, 2007. (pdf)

[6] B. Bánhelyi, T. Csendes, B.M. Garay, and L. Hatvani. Computer assisted proof of chaotic behaviour of the forced damped pendulum. In Proceedings of Colloquium on Differential and Difference Equations (CDDE2006), Brno (Czech Republic), Folia Facultatis Scientiarium Naturalium Universitatis Masarykianae Brunensis. Mathematica. Masaryk University, 2007. Közlésre elfogadva (pdf)

[7] B. Bánhelyi. Egy késleltetett differenciálegyenlet vizsgálata megbízható számítógépes eljárással. Alkalmazott Matematikai Lapok, 24:131-150, 2007. (pdf)

[8] B. Bánhelyi and T. Csendes. A global optimization model for locating chaos: numerical results. In Proceedings of the International Workshop on Global Optimization (GO05), Almería (Spain), pages 35-39, 2005. (pdf)

[9] T. Csendes and B. Bánhelyi. A global optimization model for locating chaos. In Proceedings of the International Workshop on Global Optimization
(GO05), Almería (Spain), pages 81-85, 2005. (pdf)

[10] B. Bánhelyi, T. Csendes, B.M. Garay, and L. Hatvani. A computerassisted proof for $\Sigma^3$-chaos in the forced damped pendulum equation. Submitted for publication, 2007. (pdf)

[11] B. Bánhelyi, T. Csendes, T. Krisztin, and A. Neumaier. Proof for a conjecture of Wright on a delay differential equation II. - Computer Aided Part. Manuscript, 2007.

[12] B. Bánhelyi, T. Csendes, and B.M. Garay. $\Sigma^2$-chaos for iterates of the classical Hénon mapping. Manuscript, 2007.