A Platform for Combining Deductive with Algorithmic Verification. - Amir Pnueli; Elad Shahar (CAV, 1996)

Symbolic Model Checking with Rich ssertional Languages. - Yonit Kesten; Oded Maler; Monica Marcus; Amir Pnueli; Elad Shahar (CAV, 1997)

Liveness and Acceleration in Parameterized Verification. - Amir Pnueli; Elad Shahar (CAV, 2000)

Symbolic model checking with rich assertional languages. - Yonit Kesten; Oded Maler; Monica Marcus; Amir Pnueli; Elad Shahar (Theor. Comput. Sci., 2001)

Network Invariants in Action. - Yonit Kesten; Amir Pnueli; Elad Shahar; Lenore D. Zuck (CONCUR, 2002)

The chasms of CSCW: a citation graph analysis of the CSCW conference. - Michal Jacovi; Vladimir Soroka; Gail Gilboa-Freedman; Sigalit Ur; Elad Shahar; Natalia Marmasse (CSCW, 2006)

Model Checking with Strong Fairness. - Yonit Kesten; Amir Pnueli; Li-on Raviv; Elad Shahar (Formal Methods Syst. Des., 2006)

Harvesting with SONAR: the value of aggregating social network information. - Ido Guy; Michal Jacovi; Elad Shahar; Noga Meshulam; Vladimir Soroka; Stephen Farrell (CHI, 2008)

Public vs. private: comparing public social network information with email. - Ido Guy; Michal Jacovi; Noga Meshulam; Inbal Ronen; Elad Shahar (CSCW, 2008)

Social networks and discovery in the enterprise (SaND). - Inbal Ronen; Elad Shahar; Sigalit Ur; Erel Uziel; Sivan Yogev; Naama Zwerdling; David Carmel; Ido Guy; Nadav Har'El; Shila Ofek-Koifman (SIGIR, 2009)