Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 4248 | 749 |
h-index | 26 | 13 |
i10-index | 30 | 17 |
Nyilvános hozzáférés
Összes megtekintése1 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Gérard HuetDirecteur de Recherche Emérite InriaE-mail megerősítve itt: inria.fr
- Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueE-mail megerősítve itt: polytechnique.edu
- Claude MarchéSenior Research Scientist, InriaE-mail megerősítve itt: inria.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- David Gross-AmblardProfessor of Computer Science, IRISA / Rennes 1 University, FranceE-mail megerősítve itt: irisa.fr