建立我自己的個人學術檔案
公開取用
查看全部9 篇文章
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 的電子郵件地址已通過驗證
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Xavier LeroyCollège de France在 college-de-france.fr 的電子郵件地址已通過驗證
- François PottierInria Paris在 inria.fr 的電子郵件地址已通過驗證
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMF在 lri.fr 的電子郵件地址已通過驗證
- David PichardieProfessor, ENS Rennes, France在 inria.fr 的電子郵件地址已通過驗證
- Sandrine BlazyProfessor of Computer Science, University of Rennes在 irisa.fr 的電子郵件地址已通過驗證
- Arthur CharguéraudInria在 inria.fr 的電子郵件地址已通過驗證
- Guillaume MelquiondInria, University Paris Saclay在 inria.fr 的電子郵件地址已通過驗證
- Sylvie BoldoInria, LMF, University Paris Saclay在 inria.fr 的電子郵件地址已通過驗證
- Claude MarchéSenior Research Scientist, Inria在 inria.fr 的電子郵件地址已通過驗證
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, Paris在 inria.fr 的電子郵件地址已通過驗證
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University