| Validated solutions of initial value problems for ordinary differential equations NS Nedialkov, KR Jackson, GF Corliss Applied Mathematics and Computation 105 (1), 21-68, 1999 | 516 | 1999 |
| Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. NS Nedialkov University of Toronto, 1999 | 212 | 1999 |
| An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE NS Nedialkov, KR Jackson, JD Pryce Reliable Computing 7 (6), 449-465, 2001 | 196 | 2001 |
| On Taylor model based integration of ODEs M Neher, KR Jackson, NS Nedialkov SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007 | 173 | 2007 |
| Interval tools for ODEs and DAEs NS Nedialkov 12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006 | 143 | 2006 |
| Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients NS Nedialkov, JD Pryce BIT Numerical Mathematics 45, 561-591, 2005 | 123 | 2005 |
| VNODE-LP—a validated solver for initial value problems in ordinary differential equations NS Nedialkov Technical Report CAS-06-06-NN, 2006 | 120 | 2006 |
| Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques N Ramdani, NS Nedialkov Nonlinear Analysis: Hybrid Systems 5 (2), 149-162, 2011 | 106 | 2011 |
| An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation NS Nedialkov, KR Jackson Reliable Computing 5 (3), 289-310, 1999 | 103 | 1999 |
| A new perspective on the wrapping effect in interval methods for initial value problems for ordinary differential equations NS Nedialkov, KR Jackson Perspectives on Enclosure Methods, 219-263, 2001 | 101 | 2001 |
| Solving differential-algebraic equations by Taylor series (III): The DAETS code NS Nedialkov, JD Pryce JNAIAM 3 (1-2), 61-80, 2008 | 95 | 2008 |
| Implementing a rigorous ODE solver through literate programming NS Nedialkov Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011 | 84 | 2011 |
| Probabilistic graphical models and deep belief networks for prognosis of breast cancer M Khademi, NS Nedialkov 2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015 | 81 | 2015 |
| Interval arithmetic, affine arithmetic, Taylor series methods: why, what next? NS Nedialkov, V Kreinovich, SA Starks Numerical Algorithms 37, 325-336, 2004 | 76 | 2004 |
| Some recent advances in validated methods for IVPs for ODEs KR Jackson, NS Nedialkov Applied Numerical Mathematics 42 (1-3), 269-284, 2002 | 72 | 2002 |
| Solving differential-algebraic equations by Taylor series (II): computing the system Jacobian NS Nedialkov, JD Pryce BIT Numerical Mathematics 47, 121-135, 2007 | 66 | 2007 |
| Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, NS Nedialkov, M Fränzle Software & Systems Modeling 14 (1), 121-148, 2015 | 65 | 2015 |
| Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, N Nedialkov, M Fränzle International Conference on Software Engineering and Formal Methods, 172-187, 2011 | 63 | 2011 |
| The design and implementation of an object-oriented validated ODE solver NS Nedialkov, KR Jackson Draft, available via http://www. cas. mcmaster. ca/~ nedialk, 2002 | 49 | 2002 |
| Rigorous simulation of hybrid dynamic systems with symbolic and interval methods NS Nedialkov, M von Mohrenschildt Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002 | 45 | 2002 |
John PryceProfessor Mathematics, Cardiff UniversityVerified email at cardiff.ac.uk
