Balázs Bánhelyi

Orcid: 0000-0003-4408-9054

According to our database1, Balázs Bánhelyi authored at least 15 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems.
Acta Cybern., 2024

2023
Preface.
Acta Cybern., May, 2023

2021
Fooling a Complete Neural Network Verifier.
Proceedings of the 9th International Conference on Learning Representations, 2021

2020
On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum.
J. Comput. Appl. Math., 2020

Adversarial Example Free Zones for Specific Inputs and Neural Networks.
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020

Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard.
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020

2017
A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU.
Acta Cybern., 2017

2015
Optimal circle covering problems and their applications.
Central Eur. J. Oper. Res., 2015

2014
Global Attractivity of the Zero Solution for Wright's Equation.
SIAM J. Appl. Dyn. Syst., 2014

2013
An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum.
Central Eur. J. Oper. Res., 2013

2009
Distributed hyper-heuristics for real parameter optimization.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Peer-to-Peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms.
Proceedings of the Applications of Evolutionary Computing, 2009

2008
A Computer-Assisted Proof of Σ<sub>3</sub>-Chaos in the Forced Damped Pendulum Equation.
SIAM J. Appl. Dyn. Syst., 2008

2007
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer.
Int. J. Bifurc. Chaos, 2007

2006
A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems.
J. Glob. Optim., 2006


  Loading...