Osnat Weissberg

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 2

Top Topics

Hamming Distance

Partial Information

General Purpose

Machine Learning

Top Venues

J. Graph Theory

Publications

Sagi Snir, Osnat Weissberg, Raphael Yuster
On the quartet distance given partial information. J. Graph Theory 100 (2) (2022)
Sagi Snir, Osnat Weissberg, Raphael Yuster
On the quartet distance given partial information. CoRR (2021)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient debugging in a formal verification environment. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
A hybrid verification approach: getting deep into the design. DAC (2002)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient Debugging in a Formal Verification Environment. CHARME (2001)
Gila Kamhi, Osnat Weissberg, Limor Fix
Automatic Datapath Extraction for Efficient Usage of HDD. CAV (1997)