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

Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). - Luc Longpré; Martin Berz (Reliab. Comput., 1997)

Computation and Application of Taylor Polynomials with Interval Remainder Bounds. - Martin Berz; Georg Hoffstätter (Reliab. Comput., 1998)

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. - Martin Berz; Kyoko Makino (Reliab. Comput., 1998)

New Methods for High-Dimensional Verified Quadrature. - Martin Berz; Kyoko Makino (Reliab. Comput., 1999)

Efficient Control of the Dependency Problem Based on Taylor Model Methods. - Kyoko Makino; Martin Berz (Reliab. Comput., 1999)

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)

Performance of Taylor Model Methods for Validated Integration of ODEs. - Martin Berz; Kyoko Makino (PARA, 2004)

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. - Nathalie Revol; Kyoko Makino; Martin Berz (J. Log. Algebraic Methods Program., 2005)

Rigorous global search using taylor models. - Martin Berz; Kyoko Makino (SNC, 2009)

Rigorous integration of flows and ODEs using taylor models. - Kyoko Makino; Martin Berz (SNC, 2009)

An Introduction to Beam Physics. - Martin Berz; Kyoko Makino; Weishi Wan (CRC Press, 2014)

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. - Martin Berz; Kyoko Makino (NSV@CAV, 2017)

Verified Computations Using Taylor Models and Their Applications. - Kyoko Makino; Martin Berz (NSV@CAV, 2017)