Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 6012 | 2423 |
h-indeks | 26 | 18 |
i10-indeks | 51 | 27 |
Dostęp publiczny
Wyświetl wszystko32 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Ramana KumarDeepMindZweryfikowany adres z cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyZweryfikowany adres z cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- David CockSenior Researcher, ETH ZurichZweryfikowany adres z cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesZweryfikowany adres z unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Scott OwensUniversity of KentZweryfikowany adres z kent.ac.uk
- Tony HoskingAustralian National UniversityZweryfikowany adres z anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeZweryfikowany adres z cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityZweryfikowany adres z anu.edu.au
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- Mohammad AbdulazizKing's College LondonZweryfikowany adres z kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityZweryfikowany adres z google.com
- Tom RidgeIndependentZweryfikowany adres z tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityZweryfikowany adres z anu.edu.au
- Hendra GunadiThe Australian National UniversityZweryfikowany adres z anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk