Automatic Datapath Extraction for Efficient Usage of HDD. - Gila Kamhi; Osnat Weissberg; Limor Fix (CAV, 1997)

A hybrid verification approach: getting deep into the design. - Scott Hazelhurst; Osnat Weissberg; Gila Kamhi; Limor Fix (DAC, 2002)

Efficient debugging in a formal verification environment. - Fady Copty; Amitai Irron; Osnat Weissberg; Nathan P. Kropp; Gila Kamhi (Int. J. Softw. Tools Technol. Transf., 2003)

On the quartet distance given partial information. - Sagi Snir; Osnat Weissberg; Raphael Yuster (J. Graph Theory, 2022)