Experiences with Writing Library Software for an Attached Processor. - John D. Pryce (Softw. Pract. Exp., 1985)

Two FORTRAN packages for assessing initial value methods. - Wayne H. Enright; John D. Pryce (ACM Trans. Math. Softw., 1987)

Algorithm 648: NSDTST and STDTST: routines for assessing the performance of IV solvers. - Wayne H. Enright; John D. Pryce (ACM Trans. Math. Softw., 1987)

Corrigenda: "Two FORTRAN Packages for Assessing Initial Value Methods". - Wayne H. Enright; John D. Pryce (ACM Trans. Math. Softw., 1989)

Solving high-index DAEs by Taylor series. - John D. Pryce (Numer. Algorithms, 1998)

A test package for Sturm-Liouville solvers. - John D. Pryce (ACM Trans. Math. Softw., 1999)

Algorithm 789: SLTSTPAK: : a test package for Sturm-Liouville solvers. - John D. Pryce (ACM Trans. Math. Softw., 1999)

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)

Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation. - Mohamed Tadjouddine; Shaun A. Forth; John D. Pryce; John K. Reid (International Conference on Computational Science (2), 2002)

Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation. - Mohamed Tadjouddine; Shaun A. Forth; John D. Pryce (ICCSA (2), 2003)

Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding. - Shaun A. Forth; Mohamed Tadjouddine; John D. Pryce; John K. Reid (ACM Trans. Math. Softw., 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)

Interval Arithmetic with Containment Sets. - John D. Pryce; George F. Corliss (Computing, 2006)

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. - R. Baker Kearfott; John D. Pryce; Nathalie Revol (Numerical Validation in Current Hardware Architectures, 2008)

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)

Fast Automatic Differentiation Jacobians by Compact LU Factorization. - John D. Pryce; Emmanuel M. Tadjouddine (SIAM J. Sci. Comput., 2008)

Computation of normal form coefficients of cycle bifurcations of maps by algorithmic differentiation. - John D. Pryce; Reza Khoshsiar Ghaziani; Virginie De Witte; Willy Govaerts (Math. Comput. Simul., 2010)

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)

The Forthcoming IEEE Standard 1788 for Interval Arithmetic. - John D. Pryce (SCAN, 2014)

Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems. - Guangning Tan; Nedialko S. Nedialkov; John D. Pryce (CoRR, 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)

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

A compact, structural analysis amenable, port-Hamiltonian circuit analysis. - John D. Pryce (CoRR, 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)