建立我自己的個人學術檔案
公開取用
查看全部17 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的電子郵件地址已通過驗證
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Joseph TassarottiAssistant Professor, New York University在 nyu.edu 的電子郵件地址已通過驗證
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium在 alesb.com 的電子郵件地址已通過驗證
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的電子郵件地址已通過驗證
- Hai DangBedRock Systems. Inc在 mpi-sws.org 的電子郵件地址已通過驗證
- Jeehoon KangAssistant Professor of KAIST School of Computing在 kaist.ac.kr 的電子郵件地址已通過驗證
- Filip SieczkowskiHeriot-Watt University在 hw.ac.uk 的電子郵件地址已通過驗證
- Aaron TuronMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Kasper SvendsenDepartment of Computer Science, Aarhus University在 itu.dk 的電子郵件地址已通過驗證
- Amin TimanyAarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Nickolai Zeldovich在 csail.mit.edu 的電子郵件地址已通過驗證
- Frans KaashoekMassuchesetts Institute of Technology (MIT)在 mit.edu 的電子郵件地址已通過驗證
- Simon SpiesMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Arthur CharguéraudInria在 inria.fr 的電子郵件地址已通過驗證
- John RegehrProfessor, School of Computing, University of Utah在 cs.utah.edu 的電子郵件地址已通過驗證
- Zhengyang LiuUniversity of Utah在 cs.utah.edu 的電子郵件地址已通過驗證
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的電子郵件地址已通過驗證