创建我的个人资料
合著作者
- Christine PAULIN-MOHRINGLMF, Université Paris-Saclay在 universite-paris-saclay.fr 的电子邮件经过验证
- Jean-Christophe FilliâtreCNRS在 lri.fr 的电子邮件经过验证
- Gérard HuetDirecteur de Recherche Emérite Inria在 inria.fr 的电子邮件经过验证
- Cesar MunozNASA在 nasa.gov 的电子邮件经过验证
- Benjamin GregoireInria Sophia-Antipolis在 inria.fr 的电子邮件经过验证
- Stephane GaubertDirecteur de recherche, INRIA and CMAP, Ecole polytechnique在 inria.fr 的电子邮件经过验证
- Victor MagronCNRS在 laas.fr 的电子邮件经过验证
- David Delahaye在 cnam.fr 的电子邮件经过验证
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
- François GarillotLurk Lab在 garillot.net 的电子邮件经过验证
- Herman GeuversRadboud University Nijmegen, the Netherlands在 cs.ru.nl 的电子邮件经过验证
- Paul-André MellièsCNRS, Université Paris Cité在 irif.fr 的电子邮件经过验证
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的电子邮件经过验证
- Roberto Di CosmoProfessor of Computer Science, University Paris Diderot在 dicosmo.org 的电子邮件经过验证
- Pierre-Yves StrubResearch Scientist, PQShield在 strub.nu 的电子邮件经过验证
- Arnaud SpiwackDirector, Research, Tweag & Modus Create在 spiwack.net 的电子邮件经过验证
关注