Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 4606 | 1238 |
h-indeks | 31 | 17 |
i10-indeks | 58 | 31 |
Dostęp publiczny
Wyświetl wszystko21 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Xavier RivalDirecteur de Recherche, INRIAZweryfikowany adres z inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityZweryfikowany adres z cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRZweryfikowany adres z lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisZweryfikowany adres z inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisZweryfikowany adres z inria.fr
- Laure GonnordUniversity of Lyon - LIPZweryfikowany adres z ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagZweryfikowany adres z imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesZweryfikowany adres z univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagZweryfikowany adres z univ-grenoble-alpes.fr
- Julien HenryMathworksZweryfikowany adres z mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPZweryfikowany adres z univ-lyon1.fr
- George KarpenkovVERIMAGZweryfikowany adres z metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Hang YUVerimagZweryfikowany adres z inf.ethz.ch
- Francesco AlbertiEolo SpAZweryfikowany adres z eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexZweryfikowany adres z diffblue.com
- Tim KingGoogle IncZweryfikowany adres z google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSZweryfikowany adres z cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchZweryfikowany adres z cs.stanford.edu
Obserwuj
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Zweryfikowany adres z univ-grenoble-alpes.fr - Strona główna