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