Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. - Thomas Beelitz; Christian H. Bischof; Bruno Lang; Klaus Schulte Althoff (Numerical Software with Result Verification, 2003)

Efficient Task Scheduling in the Parallel Result-Verifying Solution of Nonlinear Systems. - Thomas Beelitz; Bruno Lang; Christian H. Bischof (Reliab. Comput., 2006)

A Hybrid Approach for Efficient Robust Design of Dynamic Systems. - Martin Mönnigmann; Wolfgang Marquardt; Christian H. Bischof; Thomas Beelitz; Bruno Lang; Paul R. Willems (SIAM Rev., 2007)

A framework for existence tests based on the topological degree and homotopy. - Thomas Beelitz; Andreas Frommer; Bruno Lang; Paul R. Willems (Numerische Mathematik, 2009)

Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver. - Thomas Beelitz; Bruno Lang; Peer Ueberholz; Paul R. Willems (Reliab. Comput., 2010)