Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 4248 | 749 |
h-indeks | 26 | 13 |
i10-indeks | 30 | 17 |
Offentlig tilgang
Vis alle1 artikkel
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gérard HuetDirecteur de Recherche Emérite InriaVerifisert e-postadresse på inria.fr
- Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueVerifisert e-postadresse på polytechnique.edu
- Claude MarchéSenior Research Scientist, InriaVerifisert e-postadresse på inria.fr
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerifisert e-postadresse på cs.cmu.edu
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- David Gross-AmblardProfessor of Computer Science, IRISA / Rennes 1 University, FranceVerifisert e-postadresse på irisa.fr