- Siegfried M. Rump. Verified Bounds for the p-Norm Condition Number. Reliable Computing, 20:45-52, 2014.
- Lyubomir V. Kolev. Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems. Reliable Computing, 20:1-24, 2014.
- Florian Bünger. A Note on the Boundary Shape of Matrix Polytope Products. Reliable Computing, 20:73-88, 2014.
- Smita Tapaswini, Snehashish Chakraverty. New Midpoint-based Approach for the Solution of n-th Order Differential Equations. Reliable Computing, 20:25-44, 2014.
- Alexandre Goldsztejn, Arnold Neumaier. On the Exponentiation of Interval Matrices. Reliable Computing, 20:53-72, 2014.
- Andreas Rauh, Luise Senkel, Julia Kersten, Harald Aschemann. Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems. Reliable Computing, 19(4):361-384, 2013.
- Ekaterina Auer, Stefan Kiel. Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Reliable Computing, 19(2):156-175, 2013.
- Madalina Erascu, Hoon Hong. The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Reliable Computing, 18:73-81, 2013.
- Luc Jaulin. Outer Approximation of Attractors Using an Interval Quantization. Reliable Computing, 19(3):261-273, 2013.
- M. Shams Solary. Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices. Reliable Computing, 18:82-89, 2013.