创建我的个人资料
开放获取的出版物数量
查看全部3 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Jade AlglaveARM and University College London在 ucl.ac.uk 的电子邮件经过验证
- Peter SewellComputer Laboratory, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Susmit SarkarProfessor of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
- Cédric FournetMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Didier RémyINRIA在 inria.fr 的电子邮件经过验证
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- Shaked FlurCambridge University在 cl.cam.ac.uk 的电子邮件经过验证
- Christopher PulteUniversity of Cambridge在 cam.ac.uk 的电子邮件经过验证
- Scott OwensUniversity of Kent在 kent.ac.uk 的电子邮件经过验证
- Cosimo LaneveProfessor of Computer Science, University of Bologna在 unibo.it 的电子邮件经过验证
- Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
- ali sezginUniversity of Cambridge在 cam.ac.uk 的电子邮件经过验证
- Kathryn E. GrayUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Qin MaUniversity of Luxembourg在 uni.lu 的电子邮件经过验证
- Paul McKenneySoftware Engineer, Facebook在 meta.com 的电子邮件经过验证
- Alan SchmittInria, IRISA在 inria.fr 的电子邮件经过验证
- Louis MandelIBM Research在 us.ibm.com 的电子邮件经过验证
- Sela Mador-HaimComputer Information Science, University of Pennsylvania在 xcitedb.com 的电子邮件经过验证
- Michael BattyBartlett Professor, Chair CASA, University College London在 ucl.ac.uk 的电子邮件经过验证