- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| c8 |      | 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: 836 |
| 2008 | ||
| c7 | | Ido Guy, Michal Jacovi, Elad Shahar, Noga Meshulam, Vladimir Soroka, Stephen Farrell: Harvesting with SONAR: the value of aggregating social network information. CHI 2008: 1017-1026 |
| c6 | | Ido Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar: Public vs. private: comparing public social network information with email. CSCW 2008: 393-402 |
| 2006 | ||
| j2 | | Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006) |
| c5 | | 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: 289-298 |
| 2002 | ||
| c4 | | Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck: Network Invariants in Action. CONCUR 2002: 101-115 |
| 2001 | ||
| j1 | | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001) |
| 2000 | ||
| c3 | | Amir Pnueli, Elad Shahar: Liveness and Acceleration in Parameterized Verification. CAV 2000: 328-343 |
| 1997 | ||
| c2 | | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435 |
| 1996 | ||
| c1 | | Amir Pnueli, Elad Shahar: A Platform for Combining Deductive with Algorithmic Verification. CAV 1996: 184-195 |
Colors in the list of coauthors
Last update Fri May 24 20:57:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page