Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 4621 | 1253 |
h-indeks | 31 | 18 |
i10-indeks | 58 | 31 |
Offentlig tilgang
Vis alle21 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Xavier RivalDirecteur de Recherche, INRIAVerifisert e-postadresse på inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerifisert e-postadresse på cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRVerifisert e-postadresse på lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisVerifisert e-postadresse på inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisVerifisert e-postadresse på inria.fr
- Laure GonnordUniversity of Lyon - LIPVerifisert e-postadresse på ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagVerifisert e-postadresse på imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesVerifisert e-postadresse på univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerifisert e-postadresse på univ-grenoble-alpes.fr
- Julien HenryMathworksVerifisert e-postadresse på mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPVerifisert e-postadresse på univ-lyon1.fr
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifisert e-postadresse på cs.uni-saarland.de
- George KarpenkovVERIMAGVerifisert e-postadresse på metaworld.me
- Hang YUVerimagVerifisert e-postadresse på inf.ethz.ch
- Francesco AlbertiEolo SpAVerifisert e-postadresse på eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifisert e-postadresse på normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifisert e-postadresse på diffblue.com
- Tim KingGoogle IncVerifisert e-postadresse på google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerifisert e-postadresse på cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchVerifisert e-postadresse på cs.stanford.edu