创建我的个人资料
开放获取的出版物数量
查看全部1 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Claudio Sacerdoti CoenUniversity of Bologna在 unibo.it 的电子邮件经过验证
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, France在 telecom-paris.fr 的电子邮件经过验证
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
- Ferruccio GuidiUniversity of Bologna在 cs.unibo.it 的电子邮件经过验证
- Luca RoversiProfessor of Computer Science, Università di Torino在 di.unito.it 的电子邮件经过验证
- Alexey SolovyevResearch Associate of Computer Science, University of Utah在 cs.utah.edu 的电子邮件经过验证
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- François GarillotLurk Lab在 garillot.net 的电子邮件经过验证
- Agata CiabattoniVienna University of Technology在 logic.at 的电子邮件经过验证
- Herman GeuversRadboud University Nijmegen, the Netherlands在 cs.ru.nl 的电子邮件经过验证
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure在 ens.fr 的电子邮件经过验证
- Paolo CoppolaAssociate Professor of Computer Science, University of Udine在 uniud.it 的电子邮件经过验证
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS在 bath.ac.uk 的电子邮件经过验证
- Andrea CorradiniProfessor of Computer Science, University of Pisa在 di.unipi.it 的电子邮件经过验证
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University在 pps.univ-paris-diderot.fr 的电子邮件经过验证
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services在 amazon.co.uk 的电子邮件经过验证
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azur在 inria.fr 的电子邮件经过验证
- George GoguadzeResearcher at Leuphana University Lüneburg在 leuphana.de 的电子邮件经过验证
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris Cité在 irif.fr 的电子邮件经过验证