创建我的个人资料
开放获取的出版物数量
查看全部4 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- John RegehrProfessor, School of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
- Juneyoung(June) LeeAutomated Reasoning Group, AWS在 amazon.com 的电子邮件经过验证
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的电子邮件经过验证
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
- Todd MytkowiczMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Jacob NelsonMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Zixian CaiAustralian National University在 anu.edu.au 的电子邮件经过验证
- Madanlal MusuvathiMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Jubi TanejaMicrosoft Research在 cs.utah.edu 的电子邮件经过验证
- John CriswellUniversity of Rochester在 cs.rochester.edu 的电子邮件经过验证