Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 4606 | 1238 |
Índice h | 31 | 17 |
Índice i10 | 58 | 31 |
Acceso público
Ver todo21 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Xavier RivalDirecteur de Recherche, INRIADirección de correo verificada de inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityDirección de correo verificada de cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRDirección de correo verificada de lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisDirección de correo verificada de inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisDirección de correo verificada de inria.fr
- Laure GonnordUniversity of Lyon - LIPDirección de correo verificada de ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagDirección de correo verificada de imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesDirección de correo verificada de univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagDirección de correo verificada de univ-grenoble-alpes.fr
- Julien HenryMathworksDirección de correo verificada de mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPDirección de correo verificada de univ-lyon1.fr
- George KarpenkovVERIMAGDirección de correo verificada de metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
- Hang YUVerimagDirección de correo verificada de inf.ethz.ch
- Francesco AlbertiEolo SpADirección de correo verificada de eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesDirección de correo verificada de normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexDirección de correo verificada de diffblue.com
- Tim KingGoogle IncDirección de correo verificada de google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSDirección de correo verificada de cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchDirección de correo verificada de cs.stanford.edu
Seguir
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Dirección de correo verificada de univ-grenoble-alpes.fr - Página principal