M. Rimon
发表
Allon Adir,
Avi Ziv,
Laurent Fournier,
2004,
IEEE Design & Test of Computers.
Yehuda Naveh,
Itai Jaeger,
Yoav Katz,
2006,
AI Mag..
Avi Ziv,
Yoav Katz,
Michal Rimon,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Michal Rimon,
Aseem Das,
Richard M. Keller,
1994,
Automated Software Engineering.
Michal Rimon,
Richard M. Keller,
R. Keller,
1992,
Proceedings of the Seventh Knowledge-Based Software Engineering Conference.
Yossi Lichtenstein,
John M. Ludden,
Michael L. Behm,
2004,
Proceedings. 41st Design Automation Conference, 2004..