Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 4600 | 1233 |
Índice h | 31 | 17 |
Índice i10 | 58 | 31 |
Acesso público
Ver todos21 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Xavier RivalDirecteur de Recherche, INRIAE-mail confirmado em inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityE-mail confirmado em cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRE-mail confirmado em lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisE-mail confirmado em inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisE-mail confirmado em inria.fr
- Laure GonnordUniversity of Lyon - LIPE-mail confirmado em ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagE-mail confirmado em imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesE-mail confirmado em univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagE-mail confirmado em univ-grenoble-alpes.fr
- Julien HenryMathworksE-mail confirmado em mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPE-mail confirmado em univ-lyon1.fr
- George KarpenkovVERIMAGE-mail confirmado em metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail confirmado em cs.uni-saarland.de
- Hang YUVerimagE-mail confirmado em inf.ethz.ch
- Francesco AlbertiEolo SpAE-mail confirmado em eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail confirmado em normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail confirmado em diffblue.com
- Tim KingGoogle IncE-mail confirmado em google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSE-mail confirmado em cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchE-mail confirmado em cs.stanford.edu
Seguir
David Monniaux
Researcher in computer science, CNRS, VERIMAG
E-mail confirmado em univ-grenoble-alpes.fr - Página inicial