Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 6058 | 2471 |
h-indeks | 26 | 18 |
i10-indeks | 51 | 28 |
Offentlig tilgang
Vis alle31 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Ramana KumarDeepMindVerifisert e-postadresse på cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyVerifisert e-postadresse på cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
- Scott OwensUniversity of KentVerifisert e-postadresse på kent.ac.uk
- Tony HoskingAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeVerifisert e-postadresse på cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityVerifisert e-postadresse på anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityVerifisert e-postadresse på google.com
- Tom RidgeIndependentVerifisert e-postadresse på tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityVerifisert e-postadresse på anu.edu.au
- Hendra GunadiThe Australian National UniversityVerifisert e-postadresse på anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterVerifisert e-postadresse på manchester.ac.uk