Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 4600 | 1233 |
h-index | 31 | 17 |
i10-index | 58 | 31 |
Nyilvános hozzáférés
Összes megtekintése21 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Xavier RivalDirecteur de Recherche, INRIAE-mail megerősítve itt: inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityE-mail megerősítve itt: cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRE-mail megerősítve itt: lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisE-mail megerősítve itt: inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisE-mail megerősítve itt: inria.fr
- Laure GonnordUniversity of Lyon - LIPE-mail megerősítve itt: ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagE-mail megerősítve itt: imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesE-mail megerősítve itt: univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagE-mail megerősítve itt: univ-grenoble-alpes.fr
- Julien HenryMathworksE-mail megerősítve itt: mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPE-mail megerősítve itt: univ-lyon1.fr
- George KarpenkovVERIMAGE-mail megerősítve itt: metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail megerősítve itt: cs.uni-saarland.de
- Hang YUVerimagE-mail megerősítve itt: inf.ethz.ch
- Francesco AlbertiEolo SpAE-mail megerősítve itt: eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail megerősítve itt: normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail megerősítve itt: diffblue.com
- Tim KingGoogle IncE-mail megerősítve itt: google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSE-mail megerősítve itt: cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchE-mail megerősítve itt: cs.stanford.edu