Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3877 | 1716 |
indice h | 13 | 9 |
indice i10 | 13 | 9 |
Accès public
Tout afficher4 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Kai Engelhardtn.a.Adresse e-mail validée de acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresse e-mail validée de ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaAdresse e-mail validée de cs.ubc.ca
- Daniel SchwynETH ZürichAdresse e-mail validée de inf.ethz.ch
Suivre