Merav Aharoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2016
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CP | Using Graph-Based CSP to Solve the Address Translation Problem. | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
| 2015 | CPAIOR | Rectangle Placement for VLSI Testing. | Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev |
| 2007 | ARITH | Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. | Merav Aharoni, Ron Maharik, Abraham Ziv |
| 2005 | ARITH | 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 |
| 2003 | ARITH | Solving Range Constraints for Binary Floating-Point Instructions. | Avi Ziv, Merav Aharoni, Sigal Asaf |