Validated solutions of initial value problems for ordinary differential equations. - Nedialko S. Nedialkov; Kenneth R. Jackson; George F. Corliss (Appl. Math. Comput., 1999)

An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. - Nedialko S. Nedialkov; Kenneth R. Jackson (Reliab. Comput., 1999)

Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. - Nedialko S. Nedialkov (1999)

A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations. - Nedialko S. Nedialkov; Kenneth R. Jackson (Perspectives on Enclosure Methods, 2001)

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE. - Nedialko S. Nedialkov; Kenneth R. Jackson; John D. Pryce (Reliab. Comput., 2001)

Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. - Nedialko S. Nedialkov; Martin von Mohrenschildt (ACC, 2002)

Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next? - Nedialko S. Nedialkov; Vladik Kreinovich; Scott A. Starks (Numer. Algorithms, 2004)

Interval Subroutine Library Mission. - George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; John D. Pryce; Spencer Smith 001 (Reliable Implementation of Real Number Algorithms, 2006)

On Taylor Model Based Integration of ODEs. - Markus Neher 001; Kenneth R. Jackson; Nedialko S. Nedialkov (SIAM J. Numer. Anal., 2007)

Second Note on Basic Interval Arithmetic for IEEE754R. - John D. Pryce; George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; Spencer Smith 001 (Numerical Validation in Current Hardware Architectures, 2008)

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques. - Nacim Ramdani; Nedialko S. Nedialkov (ADHS, 2009)

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (SEFM, 2011)

Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation. - Andreas Rauh; Luise Senkel; Harald Aschemann; Nedialko S. Nedialkov; John D. Pryce (CCA, 2012)

A differential-algebraic approach for robust control design and disturbance compensation of finite-dimensional models of heat transfer processes. - Andreas Rauh; Christina Dittrich; Harald Aschemann; Nedialko S. Nedialkov; John D. Pryce (ICM, 2013)

Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes. - Andreas Rauh; Harald Aschemann; Nedialko S. Nedialkov; John D. Pryce (MMAR, 2013)

Document driven certification of computational science and engineering software. - Spencer Smith 001; Nirmitha Koothoor; Nedialko S. Nedialkov (SE-HPCCSE@SC, 2013)

Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer. - Mahmoud Khademi; Nedialko S. Nedialkov (ICMLA, 2015)

Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems. - Guangning Tan; Nedialko S. Nedialkov; John D. Pryce (CoRR, 2015)

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (Softw. Syst. Model., 2015)

Algorithm 948: DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Software. - Nedialko S. Nedialkov; John D. Pryce; Guangning Tan (ACM Trans. Math. Softw., 2015)

DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Theory. - John D. Pryce; Nedialko S. Nedialkov; Guangning Tan (ACM Trans. Math. Softw., 2015)

Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems. - Guangning Tan; Nedialko S. Nedialkov; John D. Pryce (CoRR, 2016)

Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems. - Guangning Tan; Nedialko S. Nedialkov; John D. Pryce (CoRR, 2016)

How AD can help solve differential-algebraic equations. - John D. Pryce; Nedialko S. Nedialkov; Guangning Tan; Xiao Li (Optim. Methods Softw., 2018)

Structural analysis of linear integral-algebraic equations. - Reza Zolfaghari; Nedialko S. Nedialkov (J. Comput. Appl. Math., 2019)

Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving. - John D. Pryce; Nedialko S. Nedialkov (Acta Cybern., 2020)

Stepsize selection in the rigorous defect control of Taylor series methods. - John M. Ernsthausen; Nedialko S. Nedialkov (J. Comput. Appl. Math., 2020)

An Energy-based, always Index ≤1 and Structurally Amenable Electrical Circuit Model. - Nedialko S. Nedialkov; John D. Pryce; Lena Scholz (CoRR, 2021)

An Energy-Based, Always Index $ leq$ 1 and Structurally Amenable Electrical Circuit Model. - Nedialko S. Nedialkov; John D. Pryce; Lena Scholz (SIAM J. Sci. Comput., 2022)

Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations. - Nedialko S. Nedialkov; John D. Pryce (CoRR, 2025)