A Completeness Theorem for a Class of Synchronization Objects (Extended Abstract). - Yehuda Afek; Eytan Weisberger; Hanan Weisman (PODC, 1993)

The Instancy of Snapshots and Commuting Objects. - Yehuda Afek; Eytan Weisberger (J. Algorithms, 1999)

SOC modeling methodology for architectural exploration and software development. - Michal Silbermintz; Amir Sahar; Itay Peled; Moshe Anschel; Emil Watralov; Hillel Miller; Eytan Weisberger (ICECS, 2004)