Amir Nahir
发表
Vitali Sokhin,
Arkadiy Morgenshtein,
Wookyeong Jeong,
2017,
IEEE Design & Test.
H. Shen,
Amir Nahir,
Manoj Dusanapudi,
2015,
IBM J. Res. Dev..
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Ariel Orda,
Danny Raz,
Amir Nahir,
2015,
IEEE/ACM Transactions on Networking.
Elena Tsanko,
Allon Adir,
Avi Ziv,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Avi Ziv,
Amir Nahir,
Subrat Panda,
2012,
17th Asia and South Pacific Design Automation Conference.
John Paul,
Amir Nahir,
Anatoly Koyfman,
2012,
Haifa Verification Conference.
Ariel Orda,
Danny Raz,
Amir Nahir,
2012,
2012 Proceedings IEEE INFOCOM.
Rami Cohen,
Danny Raz,
Amir Nahir,
2007,
IWSOS.
Ariel Orda,
Danny Raz,
Amir Nahir,
2016,
IEEE Transactions on Parallel and Distributed Systems.
Allon Adir,
Avi Ziv,
Gil Shurek,
2011,
2011 Design, Automation & Test in Europe.
Rami Cohen,
Danny Raz,
Amir Nahir,
2010,
IEEE Journal on Selected Areas in Communications.
Klaus-Dieter Schubert,
Greg Wetli,
Amir Nahir,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Ariel Orda,
Danny Raz,
Amir Nahir,
2013,
2013 Proceedings IEEE INFOCOM.
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2012,
CAV.
Alan J. Hu,
Steven J. E. Wilton,
Amir Nahir,
2012,
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Tanja E. J. Vos,
Armin Biere,
Amir Nahir,
2012,
Lecture Notes in Computer Science.
Avi Ziv,
Valeria Bertacco,
Biruk Mammo,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ariel Orda,
Danny Raz,
Amir Nahir,
2012,
2012 8th international conference on network and service management (cnsm) and 2012 workshop on systems virtualiztion management (svm).
Ariel Orda,
Amir Nahir,
Ari Freund,
2014,
IEEE/ACM Transactions on Networking.
Avi Ziv,
Amir Nahir,
Roy Emek,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Vitali Sokhin,
Wisam Kadry,
Dmitry Krestyashyn,
2013,
Haifa Verification Conference.
Allon Adir,
Priyadarsan Patra,
Prabhat Mishra,
2013,
2013 14th International Workshop on Microprocessor Test and Verification.
Rami Cohen,
Danny Raz,
Amir Nahir,
2007,
DSOM.
Tanja E. J. Vos,
Armin Biere,
Amir Nahir,
2012
.
Cindy Eisner,
Amir Nahir,
Karen Yorav,
2008,
CAV.
Alan J. Hu,
Avi Ziv,
Valeria Bertacco,
2010,
Design Automation Conference.
Ariel Orda,
Amir Nahir,
Ari Freund,
2009,
IEEE INFOCOM 2009.
Avi Ziv,
Amir Nahir,
Yossi Shiloach,
2006,
Haifa Verification Conference.
Vitali Sokhin,
Allon Adir,
Avi Ziv,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Vitali Sokhin,
Arkadiy Morgenshtein,
Wookyeong Jeong,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ariel Orda,
Danny Raz,
Amir Nahir,
2016,
NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium.
Ariel Orda,
Danny Raz,
Amir Nahir,
2015,
2015 IFIP/IEEE International Symposium on Integrated Network Management (IM).
Klaus-Dieter Schubert,
Amir Nahir,
L. S. Leitner,
2015,
IBM J. Res. Dev..
Vitali Sokhin,
Arkadiy Morgenshtein,
Wisam Kadry,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Cindy Eisner,
Amir Nahir,
Karen Yorav,
2009,
Formal Methods Syst. Des..
Allon Adir,
Avi Ziv,
Amir Nahir,
2010,
Haifa Verification Conference.
Allon Adir,
Avi Ziv,
Gil Shurek,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Rami Cohen,
Danny Raz,
Amir Nahir,
2007,
Fourth International Conference on Autonomic Computing (ICAC'07).
Allon Adir,
Avi Ziv,
Amir Nahir,
2012,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Avi Ziv,
Valeria Bertacco,
Biruk Mammo,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).