创建我的个人资料
开放获取的出版物数量
查看全部3 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Cédric FournetMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Karthikeyan BhargavanINRIA在 inria.fr 的电子邮件经过验证
- Antoine Delignat-LavaudMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Nikhil SwamyMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- Santiago Zanella-BéguelinMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Aseem RastogiResearcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- Stephen ChongHarvard University在 seas.harvard.edu 的电子邮件经过验证
- Owen ArdenAssistant Professor of Computer Science UCSC在 soe.ucsc.edu 的电子邮件经过验证