Elad Shahar

According to our database, Elad Shahar authored at least 10 papers between 1996 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

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

Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2009

2008

Public vs. private: comparing public social network information with email.

Ido Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar

Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, 2008

Harvesting with SONAR: the value of aggregating social network information.

Ido Guy, Michal Jacovi, Elad Shahar, Noga Meshulam, Vladimir Soroka, Stephen Farrell

Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

2006

Model Checking with Strong Fairness.

Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar

Formal Methods Syst. Des., 2006

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

Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, 2006

2002

Network Invariants in Action.

Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck

Proceedings of the CONCUR 2002, 2002

2001

Symbolic model checking with rich assertional languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Theor. Comput. Sci., 2001

2000

Liveness and Acceleration in Parameterized Verification.

Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1997

Symbolic Model Checking with Rich ssertional Languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

A Platform for Combining Deductive with Algorithmic Verification.

Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 8th International Conference, 1996