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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic model checking with rich assertional languages., , , , und . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)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)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)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)A Platform for Combining Deductive with Algorithmic Verification., und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 184-195. Springer, (1996)Blogs for Corporate Learning, , und . (2004)Harvesting with SONAR: the value of aggregating social network information., , , , , und . CHI, Seite 1017-1026. ACM, (2008)