The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Berz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  12. Computing Validated Solutions of Implicit Differential Equations. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002