R. Armoni

发表

Avi Wigderson, Amnon Ta-Shma, Shiyu Zhou, 1997, STOC 1997.

Moshe Y. Vardi, Roy Armoni, Nir Piterman, 2005, BMC@CAV.

Avner Landver, Moshe Y. Vardi, Boris Ginsburg, 2002, TACAS.

Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2002 .

Moshe Y. Vardi, Roy Armoni, Dmitry Korchemny, 2006, FATES/RV.

Moshe Y. Vardi, Roy Armoni, Ranan Fraer, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

Orna Grumberg, Moshe Y. Vardi, Roy Armoni, 2003, CAV.

Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2003, TACAS.

Roy Armoni, R. Armoni, 1998, RANDOM.

Avi Wigderson, Amnon Ta-Shma, Roy Armoni, 2000, JACM.

D. Geist, Y. Wolfsthal, R. Armoni, 1995, Eighteenth Convention of Electrical and Electronics Engineers in Israel.