selected scholarly activity
-
academic article
- How AD can help solve differential-algebraic equations. Optimization Methods and Software. 33:729-749. 2018
- Conversion methods for improving structural analysis of differential-algebraic equation systems. BIT Numerical Mathematics BIT (Copenhagen). 57:845-865. 2017
- Algorithm 948. ACM Transactions on Mathematical Software. 41:1-14. 2015
- Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Software and Systems Modeling. 14:121-148. 2015
- DAESA-A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Theory. ACM Transactions on Mathematical Software. 41. 2015
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Analysis: Hybrid Systems. 5:149-162. 2011
- Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian. BIT Numerical Mathematics BIT (Copenhagen). 47:121-135. 2007
- On Taylor Model Based Integration of ODEs. SIAM Journal on Numerical Analysis. 45:236-262. 2007
- Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients. BIT Numerical Mathematics BIT (Copenhagen). 45:561-591. 2005
- Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation. 105:21-68. 1999
- Classification of Steadily Rotating Spiral Waves for the Kinematic Model
- Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems
- Exploiting Fine Block Triangularization and Quasilinearity in Differential-Algebraic Equation Systems
- Graph theory, irreducibility, and structural analysis of differential-algebraic equation systems
- Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems
-
conference paper
- Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer. 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA). 727-732. 2015
- A Simple Method for Quasilinearity Analysis of DAEs. Springer Proceedings in Mathematics and Statistics. 445-450. 2015
- Exploiting Block Triangular form for Solving DAEs: Reducing the Number of Initial Values. Springer Proceedings in Mathematics and Statistics. 367-373. 2015
- An empirical study of algebraic-reconstruction techniques. COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING IV. 93-98. 2014
- A Differential-Algebraic Approach for Robust Control Design and Disturbance Compensation of Finite-Dimensional Models of Heat Transfer Processes. 2013 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS (ICM). 2013
- Document driven certification of computational science and engineering software.. SE-HPCCSE@SC. 25-32. 2013
- Uses of Differential-Algebraic Equations for Trajectory Planning and Feedforward Control of Spatially Two-Dimensional Heat Transfer Processes. 2013 18TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR). 155-160. 2013
- Sensitivity Analysis for Systems of Differential-Algebraic Equations with Applications to Predictive Control and Parameter Estimation. Proceedings of the IEEE Conference on Control Applications. 1640-1645. 2012
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. Lecture Notes in Computer Science. 172-+. 2011
- Interval Subroutine Library Mission. Lecture Notes in Computer Science. 28-+. 2008
- Interval Subroutine Library Mission.. Reliable Implementation of Real Number Algorithms. 28-43. 2008
- Second Note on Basic Interval Arithmetic for IEEE754R.. Numerical Validation in Current Hardware Architectures. 2008
- Effect of laser drilling on surface and material properties of AlN ceramics. Proceedings of SPIE - The International Society for Optical Engineering. 2005
- Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?. Numerical Algorithms. 325-336. 2004
- Some recent advances in validated methods for IVPs for ODEs. Applied Numerical Mathematics. 269-284. 2002
- Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. Proceedings of the American Control Conference. 140-147. 2002
- A new perspective on the wrapping effect in interval methods for initial value problems for ordinary differential equations. PERSPECTIVES ON ENCLOSURE METHODS. 219-264. 2001
- ODE software that computes guaranteed bounds on the solution. Lecture Notes in Computational Science and Engineering. 197-224. 2000