Ilan Nehama
发表
Ilan Nehama,
Ilan Nehama,
2010,
Annals of Mathematics and Artificial Intelligence.
Michal Feldman,
Tomer Ezra,
Ilan Nehama,
2018,
EC.
Ilan Nehama,
Ilan Nehama,
2016,
AAMAS.
Ilan Nehama,
Ilan Nehama,
2019,
ArXiv.
Makoto Yokoo,
Taiki Todo,
Ilan Nehama,
2018,
AAMAS.
Solving constraints on the invisible bits of the intermediate result for floating-point verification
Sigal Asaf,
Merav Aharoni,
Ilan Nehama,
2005,
17th IEEE Symposium on Computer Arithmetic (ARITH'05).
Ilan Nehama,
Ilan Nehama,
2013,
ADT.
Michal Feldman,
Reshef Meir,
Ilan Nehama,
2012,
EC '12.
Ilan Nehama,
Ilan Nehama,
2011,
WINE.
Ilan Nehama,
2021
.
Yuval Heller,
Ilan Nehama,
2021,
SSRN Electronic Journal.
Ilan Nehama,
2013
.