Rigorous computations for nonlinear partial differential equations. (fapesp-caldo)
Análise de Equações Diferenciais Funcionais com Retardamento, Equações Diferenciai...
Algoritmo Marching Hypercubes Paralelo com Aplicações a Provas Rigorosas
Detectando órbitas k-hiperbólicas e bifurcações de dobra de período.
Sobre soluções periódicas de equações diferenciais com retardos e impulsos