Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems. - Mareile Freihold; Eberhard P. Hofer (Int. J. Appl. Math. Comput. Sci., 2009)

Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. - Andreas Rauh; Ekaterina Auer; Mareile Freihold; Eberhard P. Hofer; Harald Aschemann (Reliab. Comput., 2011)