From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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