Mönnigmann, Martin ; Marquardt, Wolfgang ; Bischof, Christian ; Beelitz, Thomas ; Lang, Bruno ; Willems, Paul (2007):
A hybrid approach for efficient robust design of dynamic systems.
In: SIAM review, 49 (2), pp. 236-254. SIAM, [Article]

Beelitz, Thomas ; Lang, Bruno ; Bischof, Christian (2006):
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems.
In: Reliable computing, 12 (2), pp. 141-151. Kluwer, [Article]

Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte (2004):
Result-verifying solution of nonlinear systems in the analysis of chemical processes.
In: Lecture notes in computer science ; 2991, In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed., pp. 198-205, Berlin u.a., Springer, [Book Section]

Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno (2004):
A hybrid subdivision strategy for result-verifying nonlinear solvers.
In: Proceedings in applied mathematics and mechanics : PAMM, 4 (1), pp. 632-633. Springer, [Article]