dblp.uni-trier.dewww.uni-trier.de

Elad Shahar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEInbal 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
9EEIdo 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
8EEIdo Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar: Public vs. private: comparing public social network information with email. CSCW 2008: 393-402
2006
7EEMichal 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
6EEYonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006)
2002
5EEYonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck: Network Invariants in Action. CONCUR 2002: 101-115
2001
4EEYonit 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
2EEYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435
1996
1EEAmir Pnueli, Elad Shahar: A Platform for Combining Deductive with Algorithmic Verification. CAV 1996: 184-195

Coauthor Index

1David Carmel [10]
2Stephen Farrell [9]
3Gail Gilboa-Freedman [7]
4Ido Guy [8] [9] [10]
5Nadav Har'El [10]
6Michal Jacovi [7] [8] [9]
7Yonit Kesten [2] [4] [5] [6]
8Oded Maler [2] [4]
9Monica Marcus [2] [4]
10Natalia Marmasse [7]
11Noga Meshulam [8] [9]
12Shila Ofek-Koifman [10]
13Amir Pnueli [1] [2] [3] [4] [5] [6]
14Li-on Raviv [6]
15Inbal Ronen [8] [10]
16Vladimir Soroka [7] [9]
17Sigalit Ur [7] [10]
18Erel Uziel [10]
19Sivan Yogev [10]
20Lenore D. Zuck [5]
21Naama Zwerdling [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)