Ziv Nevo
发表
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Raviv Gal,
Avi Ziv,
Ziv Nevo,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Hana Chockler,
Arie Matsliah,
Shiri Moran,
2011
.
Jason Baumgartner,
Alexander Ivrii,
Ziv Nevo,
2013,
2013 Formal Methods in Computer-Aided Design.
Ziv Nevo,
Ziv Nevo,
2009,
Haifa Verification Conference.
Avi Ziv,
Prabhat Mishra,
Farimah Farahmandi,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Hana Chockler,
Arie Matsliah,
Shiri Moran,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Jason Baumgartner,
Alexander Ivrii,
Ziv Nevo,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Monica Farkash,
Ziv Nevo,
Ziv Nevo,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Ran El-Yaniv,
Ziv Nevo,
2002,
J. Mach. Learn. Res..
Gil Shurek,
Shiri Moran,
Wolfgang Roesner,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Avi Ziv,
Eldad Haber,
Raviv Gal,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).