| |
| 2003 | ||
|---|---|---|
| 5 | EE | Jens Hoefkens, Martin Berz, Kyoko Makino: Computing Validated Solutions of Implicit Differential Equations. Adv. Comput. Math. 19(1-3): 231-253 (2003) |
| 4 | 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 | ||
| 3 | EE | Jens Hoefkens, Martin Berz: Verification of Invertibility of Complicated Functions over Large Domains. Reliable Computing 8(1): 67-82 (2002) |
| 2001 | ||
| 2 | EE | Martin Berz, Jens Hoefkens: Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods. Reliable Computing 7(5): 379-398 (2001) |
| 1997 | ||
| 1 | Martin Berz, Béla Erdélyi, Jens Hoefkens: Large Scale Remote Graduate Instruction in Beam Physics. WebNet 1997 | |
| 1 | Martin Berz | [1] [2] [3] [4] [5] |
| 2 | Béla Erdélyi | [1] |
| 3 | Kyoko Makino | [4] [5] |