Simplicity = efficiency = readability a simple infix to prefix algorithm. - Shimon Cohen 002 (ACM SIGPLAN Notices, 1981)

Dynamic Systems and Their Distributed Termination. - Shimon Cohen 002; Daniel Lehmann 001 (PODC, 1982)

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). - Shimon Cohen 002; Daniel Lehmann 001; Amir Pnueli (ICALP, 1983)

חישוב מבוזר (Distributed computation). - Shimon Cohen 002 (1983)

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. - Shimon Cohen 002; Daniel Lehmann 001; Amir Pnueli (Theor. Comput. Sci., 1984)