| |
| 2007 | ||
|---|---|---|
| 2 | EE | 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 | EE | 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 |
| 1 | Merav Aharoni | [1] [2] |
| 2 | Sigal Asaf | [1] |
| 3 | Ilan Nehama | [1] |
| 4 | Ilya Nikulshin | [1] |
| 5 | Abraham Ziv | [1] [2] |