Elad Shahar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1996–2009
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SIGIR | 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 |
| 2008 | CHI | Harvesting with SONAR: the value of aggregating social network information. | Ido Guy, Michal Jacovi, Elad Shahar, Noga Meshulam, Vladimir Soroka, Stephen Farrell |
| 2008 | CSCW | Public vs. private: comparing public social network information with email. | Ido Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar |
| 2006 | CSCW | 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 |
| 2002 | CONCUR | Network Invariants in Action. | Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck |
| 2000 | CAV | Liveness and Acceleration in Parameterized Verification. | Amir Pnueli, Elad Shahar |
| 1997 | CAV | Symbolic Model Checking with Rich ssertional Languages. | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
| 1996 | CAV | A Platform for Combining Deductive with Algorithmic Verification. | Amir Pnueli, Elad Shahar |