내 프로필 만들기
공개 액세스
모두 보기자료 31개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Ramana KumarDeepMindcl.cam.ac.uk의 이메일 확인됨
- Magnus MyreenChalmers University of Technologycl.cam.ac.uk의 이메일 확인됨
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Peter SewellComputer Laboratory, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au의 이메일 확인됨
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems의 이메일 확인됨
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au의 이메일 확인됨
- Kai Engelhardtn.a.acm.org의 이메일 확인됨
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk의 이메일 확인됨
- Scott OwensUniversity of Kentkent.ac.uk의 이메일 확인됨
- Tony HoskingAustralian National Universityanu.edu.au의 이메일 확인됨
- Yong Kiam TanInstitute for Infocomm Research, Singaporecs.cmu.edu의 이메일 확인됨
- Charles Gretton, FIEAustThe Australian National Universityanu.edu.au의 이메일 확인됨
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National Universitygoogle.com의 이메일 확인됨
- Tom RidgeIndependenttom-ridge.com의 이메일 확인됨
- Adrian HerreraPhD student, Australian National Universityanu.edu.au의 이메일 확인됨
- Hendra GunadiThe Australian National Universityanu.edu.au의 이메일 확인됨
- Tom MelhamProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Louise DennisDepartment of Computer Science, University of Manchestermanchester.ac.uk의 이메일 확인됨