내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au의 이메일 확인됨
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au의 이메일 확인됨
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Christine RizkallahSenior Lecturer at the University of Melbourneunimelb.edu.au의 이메일 확인됨
- Thomas SewellSenior Research Associate, Cambridge Universitycam.ac.uk의 이메일 확인됨
- Zilin ChenUNSWunswalumni.com의 이메일 확인됨
- Gabriele KellerUtrecht Universityuu.nl의 이메일 확인됨
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- Peter ChubbUNSW, Sydneyunsw.edu.au의 이메일 확인됨
- Ramana KumarDeepMindcl.cam.ac.uk의 이메일 확인됨
- Julian ParsertDPhil (PhD) student in Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Steffen BorgwardtUniversity of Colorado Denverucdenver.edu의 이메일 확인됨
- Alexander MalkisGuest Researcher, TUMdaad-alumni.de의 이메일 확인됨