Sela Mador-Haim
发表
Sela Mador-Haim,
Limor Fix,
L. Fix,
1998,
FMCAD.
Rajeev Alur,
Milo M. K. Martin,
Sela Mador-Haim,
2010
.
Rajeev Alur,
Abhishek Udupa,
Jyotirmoy V. Deshmukh,
2013,
PLDI.
Moshe Y. Vardi,
Lenore D. Zuck,
Sela Mador-Haim,
2005,
CAV.
Rajeev Alur,
Milo M. K. Martin,
Sela Mador-Haim,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Yoad Winter,
Sela Mador-Haim,
Anthony Braun,
2006
.
Rajeev Alur,
Milo M. K. Martin,
Abhishek Udupa,
2013,
PLDI.
Moshe Y. Vardi,
Sela Mador-Haim,
Gila Kamhi,
2003,
TACAS.
Rajeev Alur,
Milo M. K. Martin,
Sela Mador-Haim,
2010,
CAV.
Rajeev Alur,
Milo M. K. Martin,
Jade Alglave,
2012,
CAV.
Rajeev Alur,
Milo M. K. Martin,
Abhishek Udupa,
2012
.
Avner Landver,
Moshe Y. Vardi,
Boris Ginsburg,
2002,
TACAS.
Yoad Winter,
Sela Mador-Haim,
Sela Mador-Haim,
2015
.
Yoad Winter,
Sela Mador-Haim,
Sela Mador-Haim,
2007
.