Ariel Cohen
发表
Ariel Cohen,
William G. Holland,
Joseph Franklin Logan,
1996
.
Kedar S. Namjoshi,
Ariel Cohen,
2007,
CAV.
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008
.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Ariel Cohen,
2010,
CAV.
Walter A. Burkhard,
Ariel Cohen,
1996
.
Ron van der Meyden,
Lenore D. Zuck,
Ariel Cohen,
2009,
Formal Aspects in Security and Trust.
Ariel Cohen,
Ariel Arie Shoham,
Zohar Sorin Iarchy,
2011
.
Walter A. Burkhard,
Ariel Cohen,
1996,
Other Conferences.
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008,
CAV.
Kedar S. Namjoshi,
Ariel Cohen,
K. Namjoshi,
2007,
Formal Methods Syst. Des..
Kedar S. Namjoshi,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
Haifa Verification Conference.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Ariel Cohen,
2010,
CAV.
Ariel Cohen,
A. Cohen,
2006
.
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008
.
Kedar S. Namjoshi,
Ariel Cohen,
K. Namjoshi,
2008,
CAV.
Amir Pnueli,
Mark R. Tuttle,
John O'Leary,
2007
.
Amir Pnueli,
Ariel Cohen,
Ittai Balaban,
2006,
VMCAI.
Haim Permuter,
Ariel Cohen,
Eilam Ben-Dror,
2020,
2020 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS).