Rigorous topological methods for bifurcation in dynamical systems
Topological methods and rigorous numerics for bifurcations of dynamical systems
Sufficient conditions for the realization of Lyapunov graphs as Gutierrez-Sotomayo...
Set-oriented rigorous topological-numerical approach to the analysis of chaotic It...