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)
Artikel, Bibliographie

Beelitz, Thomas ; Lang, Bruno ; Bischof, Christian (2006)
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems.
In: Reliable computing, 12 (2)
Artikel, Bibliographie

Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte (2004)
Result-verifying solution of nonlinear systems in the analysis of chemical processes.
In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed.
Buchkapitel, Bibliographie

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)
Artikel, Bibliographie