publication venue for
- On the blunting method in verified integration of ODEs. 23:15-34. 2016
- Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. 13:83-107. 2006
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. 7:449-465. 2001
- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. 5:289-310. 1999