Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2164 | 1730 |
h-index | 19 | 18 |
i10-index | 24 | 24 |
Nyilvános hozzáférés
Összes megtekintése9 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mail megerősítve itt: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail megerősítve itt: cs.ru.nl
- Xavier LeroyCollège de FranceE-mail megerősítve itt: college-de-france.fr
- François PottierInria ParisE-mail megerősítve itt: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFE-mail megerősítve itt: lri.fr
- David PichardieProfessor, ENS Rennes, FranceE-mail megerősítve itt: inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesE-mail megerősítve itt: irisa.fr
- Arthur CharguéraudInriaE-mail megerősítve itt: inria.fr
- Guillaume MelquiondInria, University Paris SaclayE-mail megerősítve itt: inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayE-mail megerősítve itt: inria.fr
- Claude MarchéSenior Research Scientist, InriaE-mail megerősítve itt: inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisE-mail megerősítve itt: inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University