Demo Data from VLDB 2026 / reviewers in the wild / expert
Elad Shahar
dblp:47/5739
· DBLP profile ↗
10ranked-venue papers
0as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6Software engineering, systems software and programming languages · 3Human-computer interaction and ubiquitous computing · 3Databases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Human-computer interaction and pervasive computing
3 papers |
Collaborative and social computing · 100% | |
| Theoretical computer science
3 papers |
Automated reasoning and model checking · 63% Logic in computer science · 37% | |
| Network and information security
1 paper |
Privacy and data protection · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Web and social media mining · 100% |
Topics — the 10 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Collaborative and social computing
social network analysis |
0.1 | 1 | 2008 | Public vs. private: comparing public social network information with email · CSCW 2008 |
Privacy and data protection
social network privacy |
0.1 | 1 | 2008 | Public vs. private: comparing public social network information with email · CSCW 2008 |
Collaborative and social computing
computer-supported cooperative work |
0.1 | 1 | 2006 | The chasms of CSCW: a citation graph analysis of the CSCW conference · CSCW 2006 |
Logic in computer science › temporal logic
liveness properties |
0.0 | 1 | 2000 | Liveness and Acceleration in Parameterized Verification · CAV 2000 |
Automated reasoning and model checking
parameterized verification |
0.0 | 1 | 2000 | Liveness and Acceleration in Parameterized Verification · CAV 2000 |
Collaborative and social computing
social computing |
0.0 | 1 | 2008 | Harvesting with SONAR: the value of aggregating social network information · CHI 2008 |
Logic in computer science › program logic
assertion language |
0.0 | 1 | 1997 | Symbolic Model Checking with Rich ssertional Languages · CAV 1997 |
Automated reasoning and model checking › model checking
symbolic model checking |
0.0 | 1 | 1997 | Symbolic Model Checking with Rich ssertional Languages · CAV 1997 |
Automated reasoning and model checking › program verification
deductive verification |
0.0 | 1 | 1996 | A Platform for Combining Deductive with Algorithmic Verification · CAV 1996 |
Automated reasoning and model checking
verification algorithms |
0.0 | 1 | 1996 | A Platform for Combining Deductive with Algorithmic Verification · CAV 1996 |
Methods — techniques the papers use, named apart from their topics
interview study · 0.2comparative experiment · 0.2user scenarios · 0.1comparative experiments · 0.1API design · 0.1structural analysis · 0.1citation graph analysis · 0.1symbolic model checking · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | Social networks and discovery in the enterprise (SaND)abstractNo abstract available. Inbal Ronen, Elad Shahar, Sigalit Ur, Erel Uziel, Sivan Yogev, Naama Zwerdling, David Carmel, Ido Guy, Nadav Har'El, Shila Ofek-Koifman |
SIGIR | 2 |
| 2008 | Harvesting with SONAR: the value of aggregating social network informationabstractWeb 2.0 gives people a substantial role in content and metadata creation. New interpersonal connections are formed and existing connections become evident through Web 2.0 services. This newly created social network (SN) spans across multiple services and aggregating it could bring great value. In this work we present SONAR, an API for gathering and sharing SN information. We give a detailed description of SONAR, demonstrate its potential value through user scenarios, and show results from experiments we conducted with a SONAR-based social networking application. These suggest that aggregating SN information across diverse data sources enriches the SN picture and makes it more complete and useful for the end user. Ido Guy, Michal Jacovi, Elad Shahar, Noga Meshulam, Vladimir Soroka, Stephen Farrell |
CHI | 3 |
| 2008 | Public vs. private: comparing public social network information with emailabstractThe goal of this research is to facilitate the design of systems which will mine and use sociocentric social networks without infringing privacy. We describe an extensive experiment we conducted within our organization comparing social network information gathered from various intranet public sources with social network information gathered from a private source - the organizational email system. We also report the conclusions of a series of interviews we conducted based on our experiment. The results shed light on the richness of public social network information, its characteristics, and added value over email network information. Ido Guy, Michal Jacovi, Noga Meshulam, Inbal Ronen, Elad Shahar |
CSCW | 5 |
| 2006 | The chasms of CSCW: a citation graph analysis of the CSCW conferenceabstractThe CSCW conference is celebrating its 20th birthday. This is a perfect time to analyze the coherence of the field, to examine whether it has a solid core or sub-communities, and to identify various patterns of its development. In this paper we analyze the structure of the CSCW conference using structural analysis of the citation graph of CSCW and related publications. We identify the conference's core and most prominent clusters. We also define a measure to identify chasm-papers, namely papers cited significantly more outside the conference than within, and analyze such papers. Michal Jacovi, Vladimir Soroka, Gail Gilboa-Freedman, Sigalit Ur, Elad Shahar, Natalia Marmasse |
CSCW | 5 |
| 2006 | Model Checking with Strong Fairness
Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar |
Formal Methods Syst. Des. | 4 |
| 2002 | Network Invariants in Action
Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck |
CONCUR | 3 |
| 2001 | Symbolic model checking with rich assertional languages
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
Theor. Comput. Sci. | 5 |
| 2000 | Liveness and Acceleration in Parameterized Verification
Amir Pnueli, Elad Shahar |
CAV | 2 |
| 1997 | Symbolic Model Checking with Rich ssertional Languages
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
CAV | 5 |
| 1996 | A Platform for Combining Deductive with Algorithmic Verification
Amir Pnueli, Elad Shahar |
CAV | 2 |