Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 6058 | 2471 |
indice h | 26 | 18 |
indice i10 | 51 | 28 |
Accès public
Tout afficher31 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Ramana KumarDeepMindAdresse e-mail validée de cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyAdresse e-mail validée de cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- 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
- Scott OwensUniversity of KentAdresse e-mail validée de kent.ac.uk
- Tony HoskingAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeAdresse e-mail validée de cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityAdresse e-mail validée de anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityAdresse e-mail validée de google.com
- Tom RidgeIndependentAdresse e-mail validée de tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityAdresse e-mail validée de anu.edu.au
- Hendra GunadiThe Australian National UniversityAdresse e-mail validée de anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk