내 프로필 만들기
공개 액세스
모두 보기자료 28개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York Universitycims.nyu.edu의 이메일 확인됨
- Xavier RivalDirecteur de Recherche, INRIAinria.fr의 이메일 확인됨
- Jérôme FeretChargé de recherche, Inria Parisinria.fr의 이메일 확인됨
- David MonniauxResearcher in computer science, CNRS, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
- Abdelraouf OuadjaoutLIP6, UPMC, Parislip6.fr의 이메일 확인됨
- Liqian ChenAssociate Professor, National University of Defense Technology, Chinanudt.edu.cn의 이메일 확인됨
- Bruno BlanchetSenior researcher, INRIA, Parisinria.fr의 이메일 확인됨
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, Franceinria.fr의 이메일 확인됨
- Marie PelleauUniversité Côte d'Azurunice.fr의 이메일 확인됨
- Christian Ferdinandabsint.com의 이메일 확인됨
- Frédéric BenhamouProfesseur d'informatique, Université de Nantesuniv-nantes.fr의 이메일 확인됨
- Eric GoubaultEcole Polytechniquecea.fr의 이메일 확인됨
- Sylvie PutotLIX, Ecole Polytechniquepolytechnique.edu의 이메일 확인됨
- Khalil GhorbalINRIAinria.fr의 이메일 확인됨
- Olivier BouissouCEA LISTcea.fr의 이메일 확인됨
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsincs.wisc.edu의 이메일 확인됨
- Deepak KapurUniversity of New Mexicocs.unm.edu의 이메일 확인됨
- Fabrice NeyretCNRS , LJK (Grenoble University, CNRS) - INRIAimag.fr의 이메일 확인됨