Robust Permanence for Ecological Differential Equations, Minimax, and Discretizations. - Barnabas M. Garay; Josef Hofbauer (SIAM J. Math. Anal., 2003)

A Brief Survey on the Numerical Dynamics for Functional Differential Equations. - Barnabas M. Garay (Int. J. Bifurc. Chaos, 2005)

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)

Isles of Eden and the Zuk Theorem in Rd. - Barnabas M. Garay; Leon O. Chua (Int. J. Bifurc. Chaos, 2008)

Discretizing the fold bifurcation - A conjugacy result. - Barnabas M. Garay; Lajos Lóczi (Period. Math. Hung., 2008)

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)