| 2008 |
|---|
| 9 | EE | 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 |
| 8 | EE | 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 |
|---|
| 7 | EE | 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 |
| 6 | EE | Yonit Kesten,
Amir Pnueli,
Li-on Raviv,
Elad Shahar:
Model Checking with Strong Fairness.
Formal Methods in System Design 28(1): 57-84 (2006) |
| 2002 |
|---|
| 5 | EE | Yonit Kesten,
Amir Pnueli,
Elad Shahar,
Lenore D. Zuck:
Network Invariants in Action.
CONCUR 2002: 101-115 |
| 2001 |
|---|
| 4 | EE | 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 |
|---|
| 3 | | Amir Pnueli,
Elad Shahar:
Liveness and Acceleration in Parameterized Verification.
CAV 2000: 328-343 |
| 1997 |
|---|
| 2 | | Yonit Kesten,
Oded Maler,
Monica Marcus,
Amir Pnueli,
Elad Shahar:
Symbolic Model Checking with Rich ssertional Languages.
CAV 1997: 424-435 |
| 1996 |
|---|
| 1 | | Amir Pnueli,
Elad Shahar:
A Platform for Combining Deductive with Algorithmic Verification.
CAV 1996: 184-195 |
