Full text is available in PDF for each
listed paper by clicking on the link for that paper.

Users of this site
should properly credit and cite any material they use.(With some exceptions, papers are sequenced in the order in which the final accepted manuscript has been received.)

- Volume 14 (June to December, 2010)
- Volume 15 (Special volume devoted to material presented at SCAN 2008)
- Volume 16 (July, 2011 through December, 2012)
- Volume 17 (Special Issue on the Use of Bernstein Polynomials in Reliable Computing: A Centennial Anniversary)
- Volume 18 (2013)
- Volume 19 (Special volume devoted to material presented at SCAN 2012)
- Volume 20 (Starting 2014)
- Volume 21 (Starting 2015)
- Volume 22 (Special issue devoted to material presented at SWIM 2015)
- Volume 23 (Special issue in honor of Ray Moore, 1929-2015)
- Volume 24 (2017)
- Supplementum: Proceedings of the 2002 SIAM Workshop on Validated Computing

- Alexandre Goldsztejn and Luc Jaulin, Inner Approximation of the Range of Vector-Valued Functions, pp. 1-23, June, 2010.
- Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi. Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems, pp. 24-45, June, 2010.
- B. M. Patre and P. J. Deore, Robust State Feedback for Interval Systems: An Interval Analysis Approach, pp. 46-60, June, 2010.
- Jürgen Garloff, Karl L. E. Nickel (1924 -- 2009), pp. 61-65, June, 2010.
- Thomas Beelitz, Bruno Lang, Peer Ueberholz, and Paul Willems, Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver, pp. 66-77, June, 2010.
- Milan Hladík, Solution Sets of Complex Linear Interval Systems of Equations, pp. 78-87, June, 2010.
- Nacim Meslem, Nacim Ramdani, and Yves Candau, Guaranteed Parameter Set Estimation for Monotone Dynamical Systems Using Hybrid Automata, pp. 88-104, June, 2010.
- Stefania Corsaro and Marina Marino, Archetypal Analysis of Interval Data, pp. 105-116, June, 2010.
- Shashwati Ray and P. S. V. Nataraj, A New Strategy for Selecting Subdivision Point in the Bernstein Approach to Polynomial Optimization, pp. 117-137, June, 2010.
- Michael Zimmer, Walter Krämer, and Werner Hofschuster, Sparse Matrices and Vectors in C-XSC, pp. 138-160, January, 2011.

- René Alt, Jean-Luc Lamotte, and Svetoslav Markov, On the Accuracy of the Solution of Linear Problems on the CELL Processor, pp. 1-12, May, 2011.
- Miguel
Argáez, Solving Overdetermined
Systems in l
_{p}Quasi-Norms, pp. 13-25, May, 2011. - Frithjof Blomquist, Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range, pp. 26, 35, May, 2011.
- Gerd Bohlender and Ulrich Kulisch, Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic, pp. 36-42, May, 2011.
- Darrell Cheu and Luc Longpré, Towards the Possibility of Objective Interval Uncertainty in Physics, pp. 43-46, May, 2011.
- Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, and Michel Rueher, Capabilities of Constraint Programming in Safe Global Optimization, pp. 47-59, May, 2011.
- Karen Villaverde and Gang Xiang, Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms, pp. 60-68, May, 2011.

- Sandeep Hattangady, William Edmonson, and Winser Alexander, Block Floating Point Interval ALU for Digital Signal Processing, pp. 69-80, June, 2011.
- Ivan Petković, Computational Aspects of the Implementation of Disk Inversions, pp. 81-90, June, 2011.
- Miodrag S. Petković and Dušan M. Milošević, Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials, pp. 91-108, June, 2011.
- P. S. V. Nataraj and M. Arounassalame, An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems, pp.109-119, June, 2011.
- Nguyen Hong Diep and Nathalie Revol, Solving and Certifying the Solution of a Linear System, pp.120-131, June, 2011.
- Andrzej Pownuk and Naveen Kumar Goud Ramunigari, Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty, pp.132-143, June, 2011.
- M. H. van Emden, From Interval Arithmetic to Interval Constraints, pp.144-155, June, 2011.
- Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, and Takeshi Ogita, A Note on a Verified Automatic Integration Algorithm, pp.156-167, June, 2011.

- Joshua A. Enszer and Mark A. Stadtherr, Verified Solution and Propagation of Uncertainty in Physiological Models, pp.168-178, July, 2011.
- Sebastian Kempken and Wolfram Luther, Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment, pp.179-192, July, 2011.
- Mariana Kolberg, Walter Krämer and Michael Zimmer, Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations, pp.193-206, July, 2011.
- Bartłomiej Jacek Kubica, Interval Methods for Solving Underdetermined Nonlinear Systems, pp.207-217, July, 2011.
- Tanja Magoč, Martine Ceberio, and Francois Modave, Using Preference Constraints to Solve Multi-Criteria Decision Making Problems, pp.218-229, July, 2011.
- Miguel Argáez, Leticia Velázquez, Carlos Quintero, Hector Klie, and Mary Wheeler, A Hybrid Algorithm for Global Optimization Problems, pp.230-241, July, 2011.
- Julie Roy et al, Global Optimization and Singular Nonlinear Programs: New Techniques, pp.242-250, July, 2011.
- P. S. V. Nataraj and Shanta Sondur, The Extrapolated Taylor Model, pp. 251-278, July, 2011.
- German Tischler and Jürgen Wolff von Gudenberg, Solving Decidability Problems with Interval Arithmetic, pp. 279-289, July, 2011.

- Lev Kapitanski and Sanja Živanovič, Dynamics with a Range of Choice, pp. 290-299, July, 2011.
- Tanja Magoč, Xiaojing Wang, Francois Modave, and Martine Ceberio, Applications of Fuzzy Measures and Intervals in Finance, pp. 300-311, July, 2011.
- M. Nehmeier and J. Wolff v. Gudenberg, filib++ , Expression Templates and the Coming Interval Standard, pp. 312-320, July, 2011.
- Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, and Harald Aschemann, Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems, pp. 321-332, July, 2011.
- Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, and Harald Aschemann, Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic, pp. 333-344, July, 2011.
- Irene A. Sharaya and Sergey P. Shary, Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients, pp. 345-357, July, 2011.
- Sergey P. Shary, On Nonnegative Interval Linear Systems and Their Solution, pp. 358-369, July, 2011.
- Andreas Rauh and Ekaterina Auer, Verified Simulation of ODEs and DAEs in ValEncIA-IVP, pp. 370-381, July, 2011.

- Lubomir V. Kolev, A Method for Determining the Regularity Radius of Interval Matrices, pp. 1-26, July, 2011.
- Milan Hladík and Luc Jaulin, An Eigenvalue Symmetric Matrix Contractor, pp. 27-37, October, 2011.
- Samiran Karmakar and A. K. Bhunia, A Comparative Study of Different Order Relations of Intervals, pp. 38-72, January, 2012.
- Elke Just and Bruno Lang, A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers, pp. 73-83, March, 2012.
- Peter Schodl and Arnold Neumaier, Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images, pp. 84-101, March, 2012.
- Shinya
Miyajima, Componentwise Error
Estimates for Solutions Obtained by Stationary Iterative Methods,
pp. 102-106, April, 2012.

- Shinya Miyajima, The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues, pp. 107-113, April, 2012.
- Stefan Kiel, YalAA: Yet Another Library for Affine Arithmetic, pp. 114-129, September, 2012.
- Alexandre Goldsztejn, Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension, pp. 130-183, October, 2012.
- Alexandre Goldsztejn, Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension, pp. 184-209, October, 2012.
- Günter Mayer, On an Expression for the Midpoint and the Radius of the Product of Two Intervals, pp. 210-224, October, 2012.
- Mimica R. Milošević and Miodrag S. Petković, Ostrowski-Like Method for the Inclusion of a Single Complex Polynomial Zero, pp. 225-238, October, 2012.
- Pau Herrero, Pantelis Georgiou, Christofer Toumazou, Benoît Delaunay and Luc Jaulin, An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language, pp. 239-251, October, 2012.
- Jennifer Harlow, Raazesh Sainudiin, and Warwick Tucker, Mapped Regular Pavings, pp. 252-282, November, 2012.
- E. de Weerdt, E. van Kampen, Q. P. Chu, and J. A. Mulder, Polynomial Inclusion Functions, pp. 283-307, November, 2012.
- Chengpu Wang, A New Uncertainty-Bearing Floating-Point Arithmetic pp. 308-361, December, 2012.

- Jorge Delgado and Juan Manuel Peña, Optimality of Bernstein Representations for Computational Purposes, pp. 1-10, December, 2012.
- Richard Leroy, Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis, pp. 11-21, December, 2012.
- Dominique Michelucci, Sebti Foufou, and Arnaud Kubicki, On the Complexity of the Bernstein Combinatorial Problem, pp. 22- 33, December, 2012.
- Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, and César A. Muñoz, Bounding the Range of a Rational Function over a box, pp. 34-39, December, 2012.
- Shashwati Ray and P. S. V. Nataraj, A Matrix Method for Efficient Computation of Bernstein Coefficients, pp. 40-71, December, 2012.

- Szilvia Béla and Bert Jüttler, Real Root Approximation Using Fat Spheres, pp. 72-96, December, 2012.
- Luis G. Crespo, Daniel P. Giesy, and Sean P. Kenny, A Unifying Framework to Uncertainty Quantification of Polynomial Systems Subject to Aleatory and Epistemic Uncertainty, pp. 97-127, December, 2012.
- Thao Dang and Romain Testylier, Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion, pp. 128-152, December, 2012.
- Coen C. de Visser, Eric-Jan van Kampen, Q. Ping Chu, and J. A. Mulder, Intersplines: A New Approach to Globally Optimal Multivariate Splines Using Interval Analysis, pp. 153-191, December, 2012.
- Sebti Foufou and Dominique Michelucci, The Bernstein Basis and its Applications in Solving Geometric Constraint Systems, pp. 192-208, December, 2012.
- Anthony Narkawicz and César A. Muñoz, Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories, pp. 209-237, December, 2012.

- Marcin Michalak and Vladik Kreinovich, Is it Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?, pp. 1-8, January, 2013.
- Shinya Miyajima, Fast Enclosure of Matrix Polynomials, pp. 9-14, January, 2013.
- Raazesh Sainudiin and Thomas York, An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions, pp. 15-54, April, 2013.
- Hao Jiang, Housen Li, Lizhi Cheng, Roberto Barrio, Canbin Hu, and Xiangke Liao, Accurate, Validated and Fast Evaluation of Bézier Tensor Product Surfaces, pp. 55-72, May, 2013.
- Mādālina Eraşcu and Hoon Hong, The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation, pp. 73-81, May, 2013.
- Maryam Shams Solary, Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices, pp. 82-89, June, 2013.
- Andrzej Pownuk, Luc Longpré and Vladik Kreinovich , Checking Monotonicity is NP-Hard Even for Cubic Polynomials, pp. 90-96, July, 2013.
- Raazesh Sainudiin and Thomas Steinke, A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic, pp. 97-116, September, 2013.
- Olivier Mullier, Éric Goubault, Michel Kieffer, and Sylvie Putot, General Inner Approximation of Vector-valued Functions, pp. 117-143, November, 2013.
- Benham Hashemi and Hanieh Tavakolipour, A Non-Induced Interval Matrix Norm, pp. 144-146, November, 2013.
- Pavel V. Saraev, Interval Pseudo-Inverse Matrices and Interval Greville Algorithm, pp. 147-156, December, 2013.

Issue
1

- Stepan Yu. Gatilov, Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness, pp. 1-25.
- Elena K. Kostousova, On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems, pp. 26-44.
- Tomoaki Okayama, Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals, pp. 45-65.
- Andreas Rauh, Ramona Westphal, Harald Aschemann, and Ekaterina Auer, Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP, pp. 66-90.
- Nathalie Revol and Philippe Théveny, Parallel Implementation of Interval Matrix Multiplication, pp. 91-106.
- Alexander V. Prolubnikov, An Interval Approach to Pattern Recognition of Numerical Matrices, pp. 107-119.
- Ilya B. Labutin and Irina V. Surodina, Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method, pp. 120-126.

- A. Minamihata, K. Sekine, T. Ogita, and S. Oishi, Fast Verified Solutions of Sparse Linear Systems with H-matrices, pp. 127-141.
- J. Horáček and M. Hladík, Computing Enclosures of Overdetermined Interval Linear Systems, pp. 142-155.
- Ekaterina Auer and Stefan Kiel, Uses of Verified Methods for Solving Non-Smooth Initial Value Problems, pp. 156-175.
- Dmitri Yu. Lyudvin and Sergey P. Shary, Testing Implementations of PPS-methods for Interval Linear Systems, pp. 176-196.
- Sergey I. Kumkov and Yuliya V. Mikushina, Interval Approach to Identification of Catalytic Process Parameters, pp. 197-214.
- Anatoly V. Panyukov and Valentin A. Golodov, Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations, pp. 215-228.

- Dmitry Yu. Nadezhin and Sergei I. Zhilin, JInterval Library: Principles, Development, and Perspectives, pp. 229-247.
- Maxim I. Pushkarev and Sergey A. Gaivoronsky, Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method, pp. 248-260.
- Luc Jaulin, Outer Approximation of Attractors Using an Interval Quantization, pp. 261-273.
- Boris S. Dobronets and Olga A. Popova, Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty, pp. 274-289.
- Anatoly V. Lakeyev, On Unboundedness of Generalized Solution Sets for Interval Linear Systems, pp. 290-301.
- Stefan Kiel, Ekaterina Auer, and Andreas Rauh, An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells, pp. 302-317.
- Alexander Savchenko, Computation of Potential and Attraction Force of an Ellipsoid, pp. 318-329.

- Andreas Rauh, Luise Senkel, Thomas Dötschel, Harald Aschemann and Ekaterina Auer, Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models, pp. 330-350.
- Vladimir V. Dombrovskii and Elena V. Chausova, Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties, pp. 351-360.
- Andreas Rauh, Luise Senkel, Julia Kersten, and Harald Aschemann, Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems, pp. 361-384.
- Bartłomiej Jacek Kubica, Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems, pp. 385-397.
- Sethy Montan, Christophe Denis, Jean-Marie Chesneaux, and Jean-Luc Lamotte, Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic, pp. 398-416.
- Anatoly V. Panyukov, Scalability of Algorithms for Arithmetic Operations in Radix Notation, pp. 417-434.
- Irene A. Sharaya, Boundary Intervals Method for Visualization of Polyhedral Solution Sets, pp. 435-467 (specially marked, as Irene left it).

- Lyubomir V. Kolev, Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems, pp. 1-24, March, 2014.
- Smita Tapaswini and S. Chakraverty, New Midpoint-based Approach for the Solution of n-th Order Differential Equations, pp. 25-44, April, 2014.
- Siegfried M. Rump, Verified Bounds for the p-Norm Condition Number, pp. 45-52, June, 2014.
- Alexandre Goldsztejn and Arnold Neumaier, On the Exponentiation of Interval Matrices, pp. 53-72, October, 2014.
- Florian Bünger, A Note on the Boundary Shape of Matrix Polytope Products, pp. 73-88, October, 2014.
- Shinya Miyajima, Fast Enclosure for Solutions of Generalized Least Squares Problems, pp. 89-112, February, 2015.
- Obituary: Irene Sharaya (1962-2015) (by Sergey P. Shary), pp. 113-114, March, 2015.

- Joe Lorkowski, Olga Kosheleva, Luc Longpré, and Vladik Kreinovich, When Can We Reduce Multi-Variable Range Estimation Problems to Two Fewer-Variable Problems?, pp. 1-10, August, 2015.
- Md. Abu Talhamainuddin Ansary and Geetanjali Panda, Higher Order Root Finding Algorithm using Interval Analysis, pp. 11-24, September, 2015.
- Jiri Rohn, The Solution Set of Interval Linear Equations is Homeomorphic to the Unit Cube: An Explicit Construction, pp. 25-34, November, 2015.
- Pacôme Eberhart, Julien Brajard, Pierre Fortin, and Fabienne Jézéquel, High Performance Numerical Validation using Stochastic Arithmetic, pp. 35-52, December, 2015.
- Federica Gioia, Capital Asset Pricing Model Using Regression Methods for Interval-Valued Variables, pp. 53-73, May, 2016.
- Florian Bünger and Siegfried M. Rump, A Short Note on the Convexity of Interval Matrix-Vector Products, pp. 74-79, June, 2016.
- Svetoslav Markov, On the Algebra of Intervals, pp. 80-108, June, 2016.
- Gerd Heindl, Generalizations of Theorems of Rohn and Vrahatis, pp. 109-116, September, 2016.
- Stef Graillat, Fabienne Jézéquel, and Moustadrani Saïd Ibrahim, Dynamical Control of Newton's Method for Multiple Roots of Polynomials, pp. 117-139, October, 2016.
- Jiri Rohn, Theoretical Characterization of Enclosures140-145, pp. , October, 2016.

Guest
editors: Milan
Hladik, Luc
Jaulin, and Nacim
Ramdami

- Jürgen Garloff, Mohammad Adm, and Jihad Titi, A Survey of Classes of Matrices Possessing the Interval Property and Related Properties, pp. 1-14, January, 2016.
- Sergey I. Kumkov, An Estimation Problem of Chemical Process with Confluent Parameters: An Interval Approach, pp. 15-25, March, 2016.
- Lubomir Kolev, A Class of Iterative Methods for Determining p-Solutions of Linear Interval Parametric Systems, pp. 26-46, May, 2016.
- Luc Jaulin, Inner and Outer Set-Membership State Estimation, pp. 47-55, June, 2016.
- Julien Alexandre dit Sandretto and Alexandre Chapoutot, Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods, pp. 56-77, July, 2016.
- Julien Alexandre dit Sandretto and Alexandre Chapoutot, Validated Explicit and Implicit Runge-Kutta Methods, pp. 79-103, July, 2016.
- Elif Garajová and Martin Mečiar, Solving and Visualizing Nonlinear Set Inversion Problems, pp. 104-115, July, 2016.
- M. Laranjeira, L. Jaulin, and S. Tauvry, Building Underwater Mosaics Using Navigation Data and Feature Extraction, pp. 116-137, August, 2016.
- D, Monnet, J. Ninin, and L. Jaulin, Computing an Inner and an Outer Approximation of the Viability Kernel, pp. 138-148, September, 2016.

- Preface, p. 1.
- Ramon Moore: Short biography, and recollections from close associates, pp. 2-14.
- Nedialko S. Nedialkov, Kenneth R. Jackson, and Markus Neher, On the Blunting Method in Verified Integration of ODEs, pp. 15-34, July, 2016.
- L. Jaulin, B. Desrochers, and D. Massé, Bisectable Abstract Domains for the Resolution of Equations Involving Complex Numbers, pp. 35-46, July, 2016.
- Naijia Xiao, Francesco Fedele, and Rafi L. Muhanna, Interval-Based Parameter Identification for Structural Static Problems, pp. 47-72, July, 2016.
- Kiyotaka Yamamura and Suguru Ishiguro, Finding All Solution Sets of Piecewise-Linear Interval Equations Using Integer Programming, pp. 73-96, July, 2016.
- Vladik Kreinovich, Standing on the Shoulders of the Giants: Why Constructive Mathematics, Probability Theory, Interval Mathematics, and Fuzzy Mathematics Are Important, pp. 97-104, July, 2016.
- Vladik Kreinovich and Sergey P. Shary, Interval Methods for Data Fitting under Uncertainty: A Probabilistic Treatment, pp. 105-140, July, 2016.
- Ulrich Kulisch and Gerd Bohlender, High Speed Associative Accumulation of Floating-point Numbers and Floating-point Intervals, pp. 141-153, July, 2016.
- Louis B. Rall, Interval Divided-Difference Arithmetic, pp. 154-162, July, 2016.
- Alexandre Goldsztejn and Daisuke Ishii, A Parallelotope Method for Hybrid System Simulation, pp. 163-185, July, 2016.

- Jiri Rohn, An Explicit Enclosure of the Solution Set of Overdetermined Interval Linear Equations, pp. 1-10, February, 2017.
- Olivier Mullier and Estelle Courtial, Set-Membership Computation of Admissible Controls for Trajectory Tracking, pp. 11-26, April, 2017.

Go to the Reliable Computing home page