A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems. - Tibor Csendes; Barnabas M. Garay; Balázs Bánhelyi (J. Glob. Optim., 2006)

Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer. - Balázs Bánhelyi; Tibor Csendes; Barnabas M. Garay (Int. J. Bifurc. Chaos, 2007)

A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation. - Balázs Bánhelyi; Tibor Csendes; Barnabas M. Garay; László Hatvani (SIAM J. Appl. Dyn. Syst., 2008)

Peer-to-Peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms. - Balázs Bánhelyi; Marco Biazzini; Alberto Montresor; Márk Jelasity (EvoWorkshops, 2009)

Distributed hyper-heuristics for real parameter optimization. - Marco Biazzini; Balázs Bánhelyi; Alberto Montresor; Márk Jelasity (GECCO, 2009)

An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum. - Balázs L. Lévai; Balázs Bánhelyi (Central Eur. J. Oper. Res., 2013)

Global Attractivity of the Zero Solution for Wright's Equation. - Balázs Bánhelyi; Tibor Csendes; Tibor Krisztin; Arnold Neumaier (SIAM J. Appl. Dyn. Syst., 2014)

Optimal circle covering problems and their applications. - Balázs Bánhelyi; Endre Palatinus; Balázs L. Lévai (Central Eur. J. Oper. Res., 2015)

A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU. - Zsolt Bagóczki; Balázs Bánhelyi (Acta Cybern., 2017)

Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard. - Balázs Bánhelyi; Tamás Szabó (ICAI, 2020)

Adversarial Example Free Zones for Specific Inputs and Neural Networks. - Tibor Csendes; Nándor Balogh; Balázs Bánhelyi; Dániel Zombori; Richárd Tóth; István Megyeri (ICAI, 2020)

On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum. - Balázs Bánhelyi; Tibor Csendes; László Hatvani (J. Comput. Appl. Math., 2020)

Fooling a Complete Neural Network Verifier. - Dániel Zombori; Balázs Bánhelyi; Tibor Csendes; István Megyeri; Márk Jelasity (ICLR, 2021)

Preface. - Andreas Rauh; Balázs Bánhelyi (Acta Cybern., 2023)

Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems. - Emília Heinc; Balázs Bánhelyi (Acta Cybern., 2024)

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks. - Attila Szász; Balázs Bánhelyi; Márk Jelasity (CoRR, 2025)