Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Shahar, Elad
Eine Person hinzufügen mit dem Namen Shahar, Elad
 

Weitere Publikationen von Autoren mit dem selben Namen

Social networks and discovery in the enterprise (SaND)., , , , , , , , , und . SIGIR, Seite 836. ACM, (2009)Network Invariants in Action., , , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2002)Symbolic model checking with rich assertional languages., , , , und . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Harvesting with SONAR: the value of aggregating social network information., , , , , und . CHI, Seite 1017-1026. ACM, (2008)Liveness and Acceleration in Parameterized Verification., und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 328-343. Springer, (2000)Symbolic Model Checking with Rich ssertional Languages., , , , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 424-435. Springer, (1997)Public vs. private: comparing public social network information with email., , , , und . CSCW, Seite 393-402. ACM, (2008)The chasms of CSCW: a citation graph analysis of the CSCW conference., , , , , und . CSCW, Seite 289-298. ACM, (2006)Model Checking with Strong Fairness., , , und . Formal Methods in System Design, 28 (1): 57-84 (2006)A Platform for Combining Deductive with Algorithmic Verification., und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 184-195. Springer, (1996)