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.

 

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

Type-specialized staged programming with process separation., , и . WGP@ICFP, стр. 49-60. ACM, (2009)Types and trace effects for object orientation.. High. Order Symb. Comput., 21 (3): 239-282 (2008)Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling., , , и . CoRR, (2017)Snowcloud: A Complete Data Gathering System for Snow Hydrology Research., и . REALWSN, том 281 из Lecture Notes in Electrical Engineering, стр. 3-14. Springer, (2013)Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors., , , , , и . USENIX Security Symposium, стр. 1379-1395. USENIX Association, (2022)Static enforcement of security with types., и . ICFP, стр. 34-45. ACM, (2000)SIGPLAN Notices 35(9), September 2000.History Effects and Verification., и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 107-128. Springer, (2004)Self-Identifying Data for Fair Use., , и . ACM J. Data Inf. Qual., 5 (3): 11:1-11:30 (2015)Language-Based Security for Low-Level MPC., и . CoRR, (2024)SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks., и . ACM Trans. Inf. Syst. Secur., 17 (2): 5:1-5:30 (2014)