Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 6059 | 2472 |
indeks-h | 26 | 18 |
indeks-i10 | 51 | 28 |
Akses publik
Lihat semua31 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Ramana KumarDeepMindEmail yang diverifikasi di cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyEmail yang diverifikasi di cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWEmail yang diverifikasi di unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeEmail yang diverifikasi di cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichEmail yang diverifikasi di cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail yang diverifikasi di unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail yang diverifikasi di proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesEmail yang diverifikasi di cse.unsw.edu.au
- Kai Engelhardtn.a.Email yang diverifikasi di acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email yang diverifikasi di ce.pdn.ac.lk
- Scott OwensUniversity of KentEmail yang diverifikasi di kent.ac.uk
- Tony HoskingAustralian National UniversityEmail yang diverifikasi di anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeEmail yang diverifikasi di cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityEmail yang diverifikasi di anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityEmail yang diverifikasi di google.com
- Tom RidgeIndependentEmail yang diverifikasi di tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityEmail yang diverifikasi di anu.edu.au
- Hendra GunadiThe Australian National UniversityEmail yang diverifikasi di anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterEmail yang diverifikasi di manchester.ac.uk