Elad Shahar

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

Inbal Ronen, Elad Shahar, Sigalit Ur, Erel Uziel, Sivan Yogev, Naama Zwerdling, David Carmel, Ido Guy, Nadav Har'El, Shila Ofek-Koifman
Social networks and discovery in the enterprise (SaND). SIGIR (2009)
Ido Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar
Public vs. private: comparing public social network information with email. CSCW (2008)
Ido Guy, Michal Jacovi, Elad Shahar, Noga Meshulam, Vladimir Soroka, Stephen Farrell
Harvesting with SONAR: the value of aggregating social network information. CHI (2008)
Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
Model Checking with Strong Fairness. Formal Methods Syst. Des. 28 (1) (2006)
Michal Jacovi, Vladimir Soroka, Gail Gilboa-Freedman, Sigalit Ur, Elad Shahar, Natalia Marmasse
The chasms of CSCW: a citation graph analysis of the CSCW conference. CSCW (2006)
Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
Network Invariants in Action. CONCUR (2002)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256 (1-2) (2001)
Amir Pnueli, Elad Shahar
Liveness and Acceleration in Parameterized Verification. CAV (2000)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic Model Checking with Rich ssertional Languages. CAV (1997)
Amir Pnueli, Elad Shahar
A Platform for Combining Deductive with Algorithmic Verification. CAV (1996)