Bounds for the solution of hyperbolic problems. - Hans-Jürgen Dobner (Computing, 1987)

Bounds of high quality for first kind Volterra integral equations. - Hans-Jürgen Dobner (Reliab. Comput., 1996)

Attacking a Conjecture in Mathematical Physics by Combining Methods of Computational Analysis and Scientific Computing. - Hans-Jürgen Dobner; Stefan Ritter (Reliab. Comput., 1997)

Verified Computation of Lamé Functionswith High Accuracy. - Hans-Jürgen Dobner; Stefan Ritter (Computing, 1998)

Reliability in Concurrent Scientific Computing for Volterra Type Equations. - Hans-Jürgen Dobner (RITA, 1999)

A method for estimating the solution of integral equations encountered in potential theory. - Hans-Jürgen Dobner (Appl. Math. Comput., 2000)

On Kernel Inclusions. - Hans-Jürgen Dobner (Reliab. Comput., 2001)

Kernel-Splitting Technique for Enclosing the Solution of Fredholm Equations of the First Kind. - Hans-Jürgen Dobner (Reliab. Comput., 2002)