| 2005 |
|---|
| 12 | EE | Nathalie Revol,
Kyoko Makino,
Martin Berz:
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebr. Program. 64(1): 135-154 (2005) |
| 2004 |
|---|
| 11 | EE | Martin Berz,
Kyoko Makino:
Performance of Taylor Model Methods for Validated Integration of ODEs.
PARA 2004: 65-73 |
| 2003 |
|---|
| 10 | EE | Jens Hoefkens,
Martin Berz,
Kyoko Makino:
Computing Validated Solutions of Implicit Differential Equations.
Adv. Comput. Math. 19(1-3): 231-253 (2003) |
| 9 | EE | Jens Hoefkens,
Martin Berz,
Kyoko Makino:
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.
Reliable Computing 9(1): 21-41 (2003) |
| 2002 |
|---|
| 8 | EE | Jens Hoefkens,
Martin Berz:
Verification of Invertibility of Complicated Functions over Large Domains.
Reliable Computing 8(1): 67-82 (2002) |
| 2001 |
|---|
| 7 | EE | Martin Berz,
Jens Hoefkens:
Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods.
Reliable Computing 7(5): 379-398 (2001) |
| 1999 |
|---|
| 6 | EE | Martin Berz,
Kyoko Makino:
New Methods for High-Dimensional Verified Quadrature.
Reliable Computing 5(1): 13-22 (1999) |
| 5 | EE | Kyoko Makino,
Martin Berz:
Efficient Control of the Dependency Problem Based on Taylor Model Methods.
Reliable Computing 5(1): 3-12 (1999) |
| 1998 |
|---|
| 4 | EE | Martin Berz,
Georg Hoffstätter:
Computation and Application of Taylor Polynomials with Interval Remainder Bounds.
Reliable Computing 4(1): 83-97 (1998) |
| 3 | EE | Martin Berz,
Kyoko Makino:
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.
Reliable Computing 4(4): 361-369 (1998) |
| 1997 |
|---|
| 2 | | Martin Berz,
Béla Erdélyi,
Jens Hoefkens:
Large Scale Remote Graduate Instruction in Beam Physics.
WebNet 1997 |
| 1 | EE | Luc Longpré,
Martin Berz:
Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97).
Reliable Computing 3(4): 453-457 (1997) |
