Balázs Bánhelyi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Testing the selection heuristic of the accelerated branch and bound method Annales Mathematicae et Informaticae	2025-03-19	Paper
Effective inclusion methods for verification of ReLU neural networks Annales Mathematicae et Informaticae	2025-03-19	Paper
Comparing structural constraints for accelerated branch and bound solver of process network synthesis problems Acta Cybernetica	2024-09-11	Paper
On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum Journal of Computational and Applied Mathematics	2020-02-18	Paper
The GLOBAL optimization algorithm. Newly updated with Java implementation and parallelization SpringerBriefs in Optimization	2018-10-29	Paper
Automatic design of optimal LED street lights Optimized Packings with Applications	2018-04-13	Paper
Optimal circle covering problems and their applications CEJOR. Central European Journal of Operations Research	2016-07-04	Paper
An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum CEJOR. Central European Journal of Operations Research	2016-06-29	Paper
Global attractivity of the zero solution for Wright's equation SIAM Journal on Applied Dynamical Systems	2014-08-19	Paper
Computer assisted proof of chaotic behaviour of the forced damped pendulum	2013-05-18	Paper
_2-chaos in iterates of the classical Hénon mapping AIP Conference Proceedings	2010-01-22	Paper
A Computer-Assisted Proof of \Sigma₃-Chaos in the Forced Damped Pendulum Equation SIAM Journal on Applied Dynamical Systems	2009-04-30	Paper
OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER International Journal of Bifurcation and Chaos in Applied Sciences and Engineering	2008-05-28	Paper
Discussion of a delayed differential equation with verified computing technique	2007-10-26	Paper
Towards a computer-assisted proof for chaos in a forced damped pendulum equation Journal of Computational and Applied Mathematics	2007-02-02	Paper
A verified optimization technique to locate chaotic regions of Hénon systems Journal of Global Optimization	2006-09-26	Paper

Research outcomes over time

This page was built for person: Balázs Bánhelyi