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

---

(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)
• Volume 25 (Special volume containing refereed papers from SCAN 2016)
• Volume 26 (2018)
• Supplementum: Proceedings of the 2002 SIAM Workshop on Validated Computing

Go to the Reliable Computing home page

---

Volume 14

Note: Not all content in Volume 14 conforms to the current typographical style for this journal.

• 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.

---

Volume 15 (Special volume devoted to material presented at SCAN 2008)

Issue 1

• 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.

Issue 2

• 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.

Issue 3

• 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.

Issue 4

• 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.

---

Volume 16

• 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.

---

Volume 17 (Special Issue on the Use of Bernstein Polynomials in Reliable Computing: A Centennial Anniversary)

Part 1: New Properties

• 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.

Part 2: Applications

• 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.

---

Volume 18

• 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. 
• C++ code described in the article
  
• 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.
• Windows executable by the author for computing pseudo-inverse enclosures with the algorithm in the paper.
  
  

---

Volume 19 (Special volume devoted to material presented at SCAN 2012)

---

Volume 22 (Special issue devoted to material presented at SWIM 2015)

• 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.
• Supplementary materials mentioned in the text (*.zip file 125.6MB).
• D, Monnet, J. Ninin, and L. Jaulin, Computing an Inner and an Outer Approximation of the Viability Kernel, pp. 138-148, September, 2016.

---

Volume 23 (Special issue in honor of Ray Moore, 1929-2015)

• 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.

---

Volume 24 (2017)

• 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.
• Vladik Kreinovich and Olga Kosheleva, The Range of a Continuous Functional Under Set-Valued Uncertainty is Always an Interval, pp. 27-30, May, 2017.
• Shinya Miyajima, Verified Solutions of Inverse Symmetric Eigenvalue Problems, pp. 31-44, September, 2017.

---

Volume 25 (Special volume containing refereed papers from SCAN 2016)