Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 6078 | 2492 |
h-rodyklė | 26 | 18 |
i10-rodyklė | 51 | 28 |
Viešas pasiekiamumas
Peržiūrėti viską30 straipsnių
1 straipsnis
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Ramana KumarDeepMindPatvirtintas el. paštas cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyPatvirtintas el. paštas cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWPatvirtintas el. paštas unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichPatvirtintas el. paštas cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesPatvirtintas el. paštas unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftPatvirtintas el. paštas proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesPatvirtintas el. paštas cse.unsw.edu.au
- Kai Engelhardtn.a.Patvirtintas el. paštas acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Patvirtintas el. paštas ce.pdn.ac.lk
- Scott OwensUniversity of KentPatvirtintas el. paštas kent.ac.uk
- Tony HoskingAustralian National UniversityPatvirtintas el. paštas anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporePatvirtintas el. paštas cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityPatvirtintas el. paštas anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityPatvirtintas el. paštas google.com
- Tom RidgeIndependentPatvirtintas el. paštas tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityPatvirtintas el. paštas anu.edu.au
- Hendra GunadiThe Australian National UniversityPatvirtintas el. paštas anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterPatvirtintas el. paštas manchester.ac.uk