Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 6061 | 2474 |
h-index | 26 | 18 |
i10-index | 51 | 28 |
Nyilvános hozzáférés
Összes megtekintése31 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Ramana KumarDeepMindE-mail megerősítve itt: cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyE-mail megerősítve itt: cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichE-mail megerősítve itt: cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail megerősítve itt: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- Kai Engelhardtn.a.E-mail megerősítve itt: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail megerősítve itt: ce.pdn.ac.lk
- Scott OwensUniversity of KentE-mail megerősítve itt: kent.ac.uk
- Tony HoskingAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeE-mail megerősítve itt: cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityE-mail megerősítve itt: anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityE-mail megerősítve itt: google.com
- Tom RidgeIndependentE-mail megerősítve itt: tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityE-mail megerősítve itt: anu.edu.au
- Hendra GunadiThe Australian National UniversityE-mail megerősítve itt: anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterE-mail megerősítve itt: manchester.ac.uk