Large Scale Remote Graduate Instruction in Beam Physics. - Martin Berz; Béla Erdélyi; Jens Hoefkens (WebNet, 1997)

Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods. - Martin Berz; Jens Hoefkens (Reliab. Comput., 2001)

Verification of Invertibility of Complicated Functions over Large Domains. - Jens Hoefkens; Martin Berz (Reliab. Comput., 2002)

Computing Validated Solutions of Implicit Differential Equations. - Jens Hoefkens; Martin Berz; Kyoko Makino (Adv. Comput. Math., 2003)

Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. - Jens Hoefkens; Martin Berz; Kyoko Makino (Reliab. Comput., 2003)