Transfinite interpolation for well-definition in error analysis in solid modelling. - Neil F. Stewart; Malika Zidani (Reliable Implementation of Real Number Algorithms, 2006)

Conditions for use of a non-selfintersection conjecture. - Lars-Erik Andersson; Neil F. Stewart; Malika Zidani (Comput. Aided Geom. Des., 2006)

Error Analysis for Operations in Solid Modeling in the Presence of Uncertainty. - Lars-Erik Andersson; Neil F. Stewart; Malika Zidani (SIAM J. Sci. Comput., 2007)