自分のプロフィールを作成
オープン アクセス
すべて表示28 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University確認したメール アドレス: cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIA確認したメール アドレス: inria.fr
- Jérôme FeretChargé de recherche, Inria Paris確認したメール アドレス: inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAG確認したメール アドレス: univ-grenoble-alpes.fr
- Abdelraouf OuadjaoutLIP6, UPMC, Paris確認したメール アドレス: lip6.fr
- Liqian ChenAssociate Professor, National University of Defense Technology, China確認したメール アドレス: nudt.edu.cn
- Bruno BlanchetSenior researcher, INRIA, Paris確認したメール アドレス: inria.fr
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, France確認したメール アドレス: inria.fr
- Marie PelleauUniversité Côte d'Azur確認したメール アドレス: unice.fr
- Christian Ferdinand確認したメール アドレス: absint.com
- Frédéric BenhamouProfesseur d'informatique, Université de Nantes確認したメール アドレス: univ-nantes.fr
- Eric GoubaultEcole Polytechnique確認したメール アドレス: cea.fr
- Sylvie PutotLIX, Ecole Polytechnique確認したメール アドレス: polytechnique.edu
- Khalil GhorbalINRIA確認したメール アドレス: inria.fr
- Olivier BouissouCEA LIST確認したメール アドレス: cea.fr
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu
- Deepak KapurUniversity of New Mexico確認したメール アドレス: cs.unm.edu
- Fabrice NeyretCNRS , LJK (Grenoble University, CNRS) - INRIA確認したメール アドレス: imag.fr