Martin Berz

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 2

Top Topics

Statistical Model

Reachability Analysis

Top Venues

Publications

Kyoko Makino, Martin Berz
Verified Computations Using Taylor Models and Their Applications. NSV@CAV (2017)
Martin Berz, Kyoko Makino
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. NSV@CAV (2017)
Martin Berz, Kyoko Makino
Rigorous global search using taylor models. SNC (2009)
Kyoko Makino, Martin Berz
Rigorous integration of flows and ODEs using taylor models. SNC (2009)
Nathalie Revol, Kyoko Makino, Martin Berz
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebraic Methods Program. 64 (1) (2005)
Martin Berz, Kyoko Makino
Performance of Taylor Model Methods for Validated Integration of ODEs. PARA (2004)
Jens Hoefkens, Martin Berz, Kyoko Makino
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. Reliab. Comput. 9 (1) (2003)
Jens Hoefkens, Martin Berz, Kyoko Makino
Computing Validated Solutions of Implicit Differential Equations. Adv. Comput. Math. 19 (1-3) (2003)
Jens Hoefkens, Martin Berz
Verification of Invertibility of Complicated Functions over Large Domains. Reliab. Comput. 8 (1) (2002)
Martin Berz, Jens Hoefkens
Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods. Reliab. Comput. 7 (5) (2001)
Kyoko Makino, Martin Berz
Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliab. Comput. 5 (1) (1999)
Martin Berz, Kyoko Makino
New Methods for High-Dimensional Verified Quadrature. Reliab. Comput. 5 (1) (1999)
Martin Berz, Georg Hoffstätter
Computation and Application of Taylor Polynomials with Interval Remainder Bounds. Reliab. Comput. 4 (1) (1998)
Martin Berz, Kyoko Makino
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliab. Comput. 4 (4) (1998)
Luc Longpré, Martin Berz
Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). Reliab. Comput. 3 (4) (1997)
Martin Berz, Béla Erdélyi, Jens Hoefkens
Large Scale Remote Graduate Instruction in Beam Physics. WebNet (1997)