建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證