Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2186 | 1753 |
h-indeks | 19 | 18 |
i10-indeks | 24 | 24 |
Offentlig tilgang
Vis alle9 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifisert e-postadresse på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerifisert e-postadresse på inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifisert e-postadresse på cs.ru.nl
- Xavier LeroyCollège de FranceVerifisert e-postadresse på college-de-france.fr
- François PottierInria ParisVerifisert e-postadresse på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifisert e-postadresse på cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFVerifisert e-postadresse på lri.fr
- David PichardieProfessor, ENS Rennes, FranceVerifisert e-postadresse på inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesVerifisert e-postadresse på irisa.fr
- Arthur CharguéraudInriaVerifisert e-postadresse på inria.fr
- Guillaume MelquiondInria, University Paris SaclayVerifisert e-postadresse på inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayVerifisert e-postadresse på inria.fr
- Claude MarchéSenior Research Scientist, InriaVerifisert e-postadresse på inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisVerifisert e-postadresse på inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University