Algorithms for Rigorous Entropy Bounds and Symbolic Dynamics. - Sarah Day; Rafael M. Frongillo; Rodrigo Treviño (SIAM J. Appl. Dyn. Syst., 2008)

Efficient Automation of Index Pairs in Computational Conley Index Theory. - Rafael M. Frongillo; Rodrigo Treviño (SIAM J. Appl. Dyn. Syst., 2012)