创建我的个人资料
开放获取的出版物数量
查看全部9 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
- Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的电子邮件经过验证
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University在 pps.univ-paris-diderot.fr 的电子邮件经过验证
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- Neelakantan R. KrishnaswamiUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Matthieu SozeauResarcher, Inria Paris and PPS在 inria.fr 的电子邮件经过验证
- Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de Goiás在 inf.ufg.br 的电子邮件经过验证
- Fabio Mascarenhassama.com在 sama.com 的电子邮件经过验证
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
- Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAM在 ciencias.unam.mx 的电子邮件经过验证
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICET在 unc.edu.ar 的电子邮件经过验证
- Francisco TruccoUniversity of Groningen在 rug.nl 的电子邮件经过验证
- Ignacio TiraboschiPhD Student, ENS Paris - INRIA在 inria.fr 的电子邮件经过验证
- RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro Preto在 ufop.edu.br 的电子邮件经过验证