创建我的个人资料
开放获取的出版物数量
查看全部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