Result Verification for Computational Problems in Geodesy. - Stefan Borovac; Gerhard Heindl (Numerical Software with Result Verification, 2003)

A Graph Based Approach to the Convergence of One Level Schwarz Iterations for Singular M-Matrices and Markov Chains. - Stefan Borovac (SIAM J. Matrix Anal. Appl., 2008)