Ron Maharik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Merav Aharoni, Ron Maharik, Abraham Ziv: Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. IEEE Symposium on Computer Arithmetic 2007: 38-45

2005

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

	2007
2		Merav Aharoni, Ron Maharik, Abraham Ziv: Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. IEEE Symposium on Computer Arithmetic 2007: 38-45
	2005
1		Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv: Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. IEEE Symposium on Computer Arithmetic 2005: 76-83

Coauthor Index