建立我自己的個人學術檔案
公開取用
查看全部11 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Nick BentonEngineering Manager, Facebook在 fb.com 的電子郵件地址已通過驗證
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Jana DunfieldQueen's University在 queensu.ca 的電子郵件地址已通過驗證
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Peter SewellComputer Laboratory, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Aaron TuronMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的電子郵件地址已通過驗證
- Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Christopher PulteUniversity of Cambridge在 cam.ac.uk 的電子郵件地址已通過驗證
- Beta ZilianiFAMAF, UNC and Manas.Tech在 mpi-sws.org 的電子郵件地址已通過驗證
- Ryan NewtonMIT, Indiana University, Facebook在 indiana.edu 的電子郵件地址已通過驗證
- Shaked FlurCambridge University在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh在 ed.ac.uk 的電子郵件地址已通過驗證
- Robert NortonUniversity of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Alastair ReidSenior Principal Engineer在 intel.com 的電子郵件地址已通過驗證
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的電子郵件地址已通過驗證
- Kasper SvendsenDepartment of Computer Science, Aarhus University在 itu.dk 的電子郵件地址已通過驗證
- Lindsey KuperUniversity of California, Santa Cruz在 ucsc.edu 的電子郵件地址已通過驗證
- Jan HoffmannCarnegie Mellon University在 cmu.edu 的電子郵件地址已通過驗證