내 프로필 만들기
공개 액세스
모두 보기자료 21개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Xavier RivalDirecteur de Recherche, INRIAinria.fr의 이메일 확인됨
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York Universitycims.nyu.edu의 이메일 확인됨
- Antoine MinéSorbonne Université, LIP6, APRlip6.fr의 이메일 확인됨
- Jérôme FeretChargé de recherche, Inria Parisinria.fr의 이메일 확인됨
- Bruno BlanchetSenior researcher, INRIA, Parisinria.fr의 이메일 확인됨
- Laure GonnordUniversity of Lyon - LIPens-lyon.fr의 이메일 확인됨
- Sylvain BoulméUniversité Grenoble Alpes, Verimagimag.fr의 이메일 확인됨
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-Alpesuniv-grenoble-alpes.fr의 이메일 확인됨
- claire maizaUniv. Grenoble Alpes, GrenobleINP / Verimaguniv-grenoble-alpes.fr의 이메일 확인됨
- Julien HenryMathworksmathworks.com의 이메일 확인됨
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPuniv-lyon1.fr의 이메일 확인됨
- George KarpenkovVERIMAGmetaworld.me의 이메일 확인됨
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Hang YUVerimaginf.ethz.ch의 이메일 확인됨
- Francesco AlbertiEolo SpAeolo.it의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexdiffblue.com의 이메일 확인됨
- Tim KingGoogle Incgoogle.com의 이메일 확인됨
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRScs.utah.edu의 이메일 확인됨
- Nikolaj BjornerMicrosoft Researchcs.stanford.edu의 이메일 확인됨