Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 4600 | 1233 |
indice h | 31 | 17 |
indice i10 | 58 | 31 |
Accès public
Tout afficher21 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Xavier RivalDirecteur de Recherche, INRIAAdresse e-mail validée de inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityAdresse e-mail validée de cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRAdresse e-mail validée de lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisAdresse e-mail validée de inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisAdresse e-mail validée de inria.fr
- Laure GonnordUniversity of Lyon - LIPAdresse e-mail validée de ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagAdresse e-mail validée de imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesAdresse e-mail validée de univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagAdresse e-mail validée de univ-grenoble-alpes.fr
- Julien HenryMathworksAdresse e-mail validée de mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPAdresse e-mail validée de univ-lyon1.fr
- George KarpenkovVERIMAGAdresse e-mail validée de metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
- Hang YUVerimagAdresse e-mail validée de inf.ethz.ch
- Francesco AlbertiEolo SpAAdresse e-mail validée de eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresse e-mail validée de diffblue.com
- Tim KingGoogle IncAdresse e-mail validée de google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSAdresse e-mail validée de cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchAdresse e-mail validée de cs.stanford.edu
Suivre
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Adresse e-mail validée de univ-grenoble-alpes.fr - Page d'accueil