Multiple Precision Interval Packages: Comparing Different Approaches. - Markus Grimmer; Knut Petras; Nathalie Revol (Numerical Software with Result Verification, 2003)

Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten Lösung linearer Fredholmscher Integralgleichungen zweiter Art. - Markus Grimmer (Logos, 2007)

An MPI Extension for Verified Numerical Computations in Parallel Environments. - Markus Grimmer; Walter Krämer (CSC, 2007)

An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind. - Markus Grimmer; Walter Krämer (CSC, 2008)

Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments. - Markus Grimmer (Numerical Validation in Current Hardware Architectures, 2008)