Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2170 | 1736 |
h-index | 19 | 18 |
i10-indeks | 24 | 24 |
Offentlig adgang
Se alle9 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerificeret mail på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerificeret mail på inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerificeret mail på cs.ru.nl
- Xavier LeroyCollège de FranceVerificeret mail på college-de-france.fr
- François PottierInria ParisVerificeret mail på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerificeret mail på cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFVerificeret mail på lri.fr
- David PichardieProfessor, ENS Rennes, FranceVerificeret mail på inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesVerificeret mail på irisa.fr
- Arthur CharguéraudInriaVerificeret mail på inria.fr
- Guillaume MelquiondInria, University Paris SaclayVerificeret mail på inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayVerificeret mail på inria.fr
- Claude MarchéSenior Research Scientist, InriaVerificeret mail på inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisVerificeret mail på inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University