Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 4625 | 1256 |
h-rodyklė | 31 | 18 |
i10-rodyklė | 58 | 31 |
Viešas pasiekiamumas
Peržiūrėti viską21 straipsnis
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Xavier RivalDirecteur de Recherche, INRIAPatvirtintas el. paštas inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityPatvirtintas el. paštas cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRPatvirtintas el. paštas lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisPatvirtintas el. paštas inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisPatvirtintas el. paštas inria.fr
- Laure GonnordUniversity of Lyon - LIPPatvirtintas el. paštas ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagPatvirtintas el. paštas imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesPatvirtintas el. paštas univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagPatvirtintas el. paštas univ-grenoble-alpes.fr
- Julien HenryMathworksPatvirtintas el. paštas mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPPatvirtintas el. paštas univ-lyon1.fr
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusPatvirtintas el. paštas cs.uni-saarland.de
- George KarpenkovVERIMAGPatvirtintas el. paštas metaworld.me
- Hang YUVerimagPatvirtintas el. paštas inf.ethz.ch
- Francesco AlbertiEolo SpAPatvirtintas el. paštas eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesPatvirtintas el. paštas normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPatvirtintas el. paštas diffblue.com
- Tim KingGoogle IncPatvirtintas el. paštas google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSPatvirtintas el. paštas cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchPatvirtintas el. paštas cs.stanford.edu
Stebėti
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Patvirtintas el. paštas univ-grenoble-alpes.fr - Pagrindinis puslapis