建立我自己的個人學術檔案
公開取用
查看全部7 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的電子郵件地址已通過驗證
- Jeehoon KangAssistant Professor of KAIST School of Computing在 kaist.ac.kr 的電子郵件地址已通過驗證
- Vu NguyenUniversity of Science, Vietnam National University - HCMC在 fit.hcmus.edu.vn 的電子郵件地址已通過驗證
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的電子郵件地址已通過驗證
- Ori LahavTel Aviv University在 tau.ac.il 的電子郵件地址已通過驗證
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的電子郵件地址已通過驗證
- Azalea RaadImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Peter O'HearnLacework and University College London在 ucl.ac.uk 的電子郵件地址已通過驗證
- Josh BerdineFacebook在 fb.com 的電子郵件地址已通過驗證
- Jules VillardImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Simon SpiesMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Thanh-Hai TranConsenSys在 consensys.net 的電子郵件地址已通過驗證
- Michael SammlerMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Jaemin ChoiKAIST在 kaist.ac.kr 的電子郵件地址已通過驗證
- William ManskyAssistant Professor, University of Illinois at Chicago在 uic.edu 的電子郵件地址已通過驗證