创建我的个人资料
开放获取的出版物数量
查看全部21 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Xavier RivalDirecteur de Recherche, INRIA在 inria.fr 的电子邮件经过验证
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University在 cims.nyu.edu 的电子邮件经过验证
- Antoine MinéSorbonne Université, LIP6, APR在 lip6.fr 的电子邮件经过验证
- Jérôme FeretChargé de recherche, Inria Paris在 inria.fr 的电子邮件经过验证
- Bruno BlanchetSenior researcher, INRIA, Paris在 inria.fr 的电子邮件经过验证
- Laure GonnordUniversity of Lyon - LIP在 ens-lyon.fr 的电子邮件经过验证
- Sylvain BoulméUniversité Grenoble Alpes, Verimag在 imag.fr 的电子邮件经过验证
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-Alpes在 univ-grenoble-alpes.fr 的电子邮件经过验证
- claire maizaUniv. Grenoble Alpes, GrenobleINP / Verimag在 univ-grenoble-alpes.fr 的电子邮件经过验证
- Julien HenryMathworks在 mathworks.com 的电子邮件经过验证
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIP在 univ-lyon1.fr 的电子邮件经过验证
- George KarpenkovVERIMAG在 metaworld.me 的电子邮件经过验证
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
- Hang YUVerimag在 inf.ethz.ch 的电子邮件经过验证
- Francesco AlbertiEolo SpA在 eolo.it 的电子邮件经过验证
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的电子邮件经过验证
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex在 diffblue.com 的电子邮件经过验证
- Tim KingGoogle Inc在 google.com 的电子邮件经过验证
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRS在 cs.utah.edu 的电子邮件经过验证
- Nikolaj BjornerMicrosoft Research在 cs.stanford.edu 的电子邮件经过验证