BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shahar:Elad

Contributed to:

SIGIR 20092009
CHI 20082008
CSCW 20082008
CSCW 20062006
CAV 20002000
CAV 19971997
CAV 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.