Z. Hanna
发表
Feng Lu,
L. Wang,
K. Cheng,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Z. Hanna,
A. Cimatti,
A. Griggio,
2007
.
Nachum Dershowitz,
Ziyad Hanna,
Jacob Katz,
2005,
SAT.
Zurab Khasidashvili,
Daher Kaiss,
Ziyad Hanna,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.
J. Moondanos,
Z. Hanna,
K. Cheng,
2007,
16th Asian Test Symposium (ATS 2007).
Z. Hanna,
B. Cook,
P. Bjesse,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Zurab Khasidashvili,
Ziyad Hanna,
Alexander Nadel,
2005,
Haifa Verification Conference.
Nachum Dershowitz,
Ziyad Hanna,
Jacob Katz,
2005,
Design, Automation and Test in Europe.
Zurab Khasidashvili,
Daher Kaiss,
Marcelo Skaba,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Per Bjesse,
Byron Cook,
Ziyad Hanna,
2003,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2007,
CAV.
Zurab Khasidashvili,
Daher Kaiss,
Marcelo Skaba,
2006,
2006 Formal Methods in Computer Aided Design.
Ziyad Hanna,
Thomas F. Melham,
T. Melham,
2009,
2009 IEEE International High Level Design Validation and Test Workshop.
Nachum Dershowitz,
Ziyad Hanna,
Alexander Nadel,
2006,
SAT.
Nachum Dershowitz,
Ziyad Hanna,
Yulik Feldman,
2005,
PDMC.
Zurab Khasidashvili,
Daher Kaiss,
Marcelo Skaba,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).