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)

Context-aware garment modeling from sketches. - Cody Robson; Ron Maharik; Alla Sheffer; Nathan Carr 001 (Comput. Graph., 2011)

Digital micrography. - Ron Maharik; Mikhail Bessmeltsev; Alla Sheffer; Ariel Shamir; Nathan Carr 001 (ACM Trans. Graph., 2011)