| |
| 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 | Sigal Asaf | [1] |
| 3 | Ron Maharik | [1] |
| 4 | Ilan Nehama | [1] |
| 5 | Abraham Ziv | [1] |