Travelled to:1 × Canada
1 × Israel
1 × Italy
4 × USA
Collaborated with:A.Pnueli M.Jacovi I.Guy N.Meshulam V.Soroka I.Ronen S.Ur Y.Kesten O.Maler M.Marcus S.Farrell G.Gilboa-Freedman N.Marmasse E.Uziel S.Yogev N.Zwerdling D.Carmel N.Har'El S.Ofek-Koifman
Talks about:network (3) social (3) public (2) inform (2) verif (2) cscw (2) parameter (1) enterpris (1) discoveri (1) algorithm (1)
Person: Elad Shahar
DBLP: Shahar:Elad
Contributed to:
2009
2008
20082006
200019971996Wrote 7 papers:
- SIGIR-2009-RonenSUUYZCGHO #enterprise #network #social
- Social networks and discovery in the enterprise (SaND) (IR, ES, SU, EU, SY, NZ, DC, IG, NH, SOK), p. 836.
- CHI-2008-GuyJSMSF #network #social
- Harvesting with SONAR: the value of aggregating social network information (IG, MJ, ES, NM, VS, SF), pp. 1017–1026.
- CSCW-2008-GuyJMRS #email #network #social
- Public vs. private: comparing public social network information with email (IG, MJ, NM, IR, ES), pp. 393–402.
- CSCW-2006-JacoviSGUSM #analysis #graph
- The chasms of CSCW: a citation graph analysis of the CSCW conference (MJ, VS, GGF, SU, ES, NM), pp. 289–298.
- CAV-2000-PnueliS #liveness #verification
- Liveness and Acceleration in Parameterized Verification (AP, ES), pp. 328–343.
- CAV-1997-KestenMMPS #model checking
- Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.
- CAV-1996-PnueliS #algorithm #deduction #framework #platform #verification
- A Platform for Combining Deductive with Algorithmic Verification (AP, ES), pp. 184–195.