| 95 | -- | 0 | Nathalie Revol, Götz Alefeld. Editorial |
| 97 | -- | 107 | Jürgen Garloff. Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations |
| 109 | -- | 123 | Michael Zimmer, Walter Krämer, Evgenija D. Popova. Solvers for the verified solution of parametric linear systems |
| 125 | -- | 149 | Andreas Griewank, Kshitij Kulshreshtha, Andrea Walther. On the numerical stability of algorithmic differentiation |
| 151 | -- | 162 | Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura. On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems |
| 163 | -- | 172 | Ekaterina Auer, Andreas Rauh. VERICOMP: a system to compare and assess verified IVP solvers |
| 173 | -- | 188 | Ignacio Araya, Bertrand Neveu, Gilles Trombettoni. An interval extension based on occurrence grouping |
| 189 | -- | 201 | Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot. A generalization of p-boxes to affine arithmetic |
| 203 | -- | 213 | Stefan Siegel, Jürgen Wolff von Gudenberg. A long accumulator like a carry-save adder |
| 215 | -- | 228 | Marco Nehmeier. Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard |
| 229 | -- | 241 | Walter Krämer. Multiple/arbitrary precision interval computations in C-XSC |
| 243 | -- | 255 | Marco Nehmeier, Stefan Siegel, Jürgen Wolff von Gudenberg. Specification of hardware for interval arithmetic |
| 257 | -- | 269 | Jaime Nava, Vladik Kreinovich. Towards interval techniques for model validation |
| 271 | -- | 280 | Bartlomiej Jacek Kubica. A class of problems that can be solved using interval algorithms |
| 281 | -- | 296 | Eva Dyllong, Stefan Kiel. A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure |
| 297 | -- | 311 | Luc Jaulin. Solving set-valued constraint satisfaction problems |
| 313 | -- | 324 | Gabor Rebner, Ekaterina Auer, Wolfram Luther. A verified realization of a Dempster-Shafer based fault tree analysis |
| 325 | -- | 343 | Bhagyesh V. Patil, P. S. V. Nataraj, Sharad Bhartiya. Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach |
| 345 | -- | 356 | Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann. Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances |
| 357 | -- | 367 | Andreas Rauh, Julia Kersten, Ekaterina Auer, Harald Aschemann. Sensitivity-based feedforward and feedback control for uncertain systems |
| 369 | -- | 387 | Valérie Berthé. Numeration and discrete dynamical systems |