Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Elad Shahar

dblp:47/5739 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Collaborative and social computing
social network analysis
0.112008
Public vs. private: comparing public social network information with email · CSCW 2008
Privacy and data protection
social network privacy
0.112008
Public vs. private: comparing public social network information with email · CSCW 2008
Collaborative and social computing
computer-supported cooperative work
0.112006
The chasms of CSCW: a citation graph analysis of the CSCW conference · CSCW 2006
Logic in computer science › temporal logic
liveness properties
0.012000
Liveness and Acceleration in Parameterized Verification · CAV 2000
Automated reasoning and model checking
parameterized verification
0.012000
Liveness and Acceleration in Parameterized Verification · CAV 2000
Collaborative and social computing
social computing
0.012008
Harvesting with SONAR: the value of aggregating social network information · CHI 2008
Logic in computer science › program logic
assertion language
0.011997
Symbolic Model Checking with Rich ssertional Languages · CAV 1997
Automated reasoning and model checking › model checking
symbolic model checking
0.011997
Symbolic Model Checking with Rich ssertional Languages · CAV 1997
Automated reasoning and model checking › program verification
deductive verification
0.011996
A Platform for Combining Deductive with Algorithmic Verification · CAV 1996
Automated reasoning and model checking
verification algorithms
0.011996
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
YearPublicationVenuePosition
2009 Social networks and discovery in the enterprise (SaND)
abstract
No abstract available.
Inbal Ronen, Elad Shahar, Sigalit Ur, Erel Uziel, Sivan Yogev, Naama Zwerdling, David Carmel, Ido Guy, Nadav Har'El, Shila Ofek-Koifman
SIGIR2
2008 Harvesting with SONAR: the value of aggregating social network information
abstract
Web 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
CHI3
2008 Public vs. private: comparing public social network information with email
abstract
The 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
CSCW5
2006 The chasms of CSCW: a citation graph analysis of the CSCW conference
abstract
The 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
CSCW5
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
CONCUR3
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
CAV2
1997 Symbolic Model Checking with Rich ssertional Languages
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
CAV5
1996 A Platform for Combining Deductive with Algorithmic Verification
Amir Pnueli, Elad Shahar
CAV2