Fast evaluation of elementary mathematical functions with correctly rounded last bit. - Abraham Ziv (ACM Trans. Math. Softw., 1991)

Sharp ULP rounding error bound for the hypotenuse function. - Abraham Ziv (Math. Comput., 1999)

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. - Merav Aharoni; Sigal Asaf; Ron Maharik; Ilan Nehama; Ilya Nikulshin; Abraham Ziv (IEEE Symposium on Computer Arithmetic, 2005)

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. - Merav Aharoni; Ron Maharik; Abraham Ziv (IEEE Symposium on Computer Arithmetic, 2007)