An algebraic-topological approach to dynamical systems and symplectic topology
Rigorous topological methods for bifurcation in dynamical systems
Sufficient conditions for the realization of Lyapunov graphs as Gutierrez-Sotomayo...
Topological methods and rigorous numerics for bifurcations of dynamical systems
Morse-Conley Theory, Singular Varieties, and Intersection Homology