Uri Klein
发表
Kedar S. Namjoshi,
Uri Klein,
K. Namjoshi,
2011,
CAV.
Amir Pnueli,
Nir Piterman,
Uri Klein,
2012,
VMCAI.
Karthikeyan Natesan Ramamurthy,
Moninder Singh,
Michael Davis,
2015,
2015 IEEE International Conference on Data Mining Workshop (ICDMW).
Amir Pnueli,
Lenore D. Zuck,
Uri Klein,
2011
.
Amir Pnueli,
Uri Klein,
A. Pnueli,
2010,
Haifa Verification Conference.
Amir Pnueli,
Uri Klein,
A. Pnueli,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Shie Mannor,
Ishai Menache,
Uri Klein,
2004,
ICML.