Enclosing all solutions of two-point boundary value problems for ODEs. - Youdong Lin; Joshua A. Enszer; Mark A. Stadtherr (Comput. Chem. Eng., 2008)

Verified Solution Method for Population Epidemiology Models with Uncertainty. - Joshua A. Enszer; Mark A. Stadtherr (Int. J. Appl. Math. Comput. Sci., 2009)

Verified Solution and Propagation of Uncertainty in Physiological Models. - Joshua A. Enszer; Mark A. Stadtherr (Reliab. Comput., 2011)