Ariel Cohen Yi Fang Robert M. Fuhrer Amir Pnueli Frank Tip Lenore D. Zuck