Rigorous computations for nonlinear partial differential equations. (fapesp-caldo)
Equações diferenciais abstratas com memória dependendo do estado
Sistemas não autônomos com impulsos: sistemas convergentes e a Equação de Navier-S...
Existência de soluções fracas para um modelo de Navier-Stokes célula-fluido com q...