Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 352 | 255 |
h-index | 9 | 8 |
i10-index | 9 | 8 |
Nyilvános hozzáférés
Összes megtekintése7 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mail megerősítve itt: anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail megerősítve itt: unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mail megerősítve itt: unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityE-mail megerősítve itt: cam.ac.uk
- Zilin ChenUNSWE-mail megerősítve itt: unswalumni.com
- Gabriele KellerUtrecht UniversityE-mail megerősítve itt: uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail megerősítve itt: unsw.edu.au
- Peter ChubbUNSW, SydneyE-mail megerősítve itt: unsw.edu.au
- Ramana KumarDeepMindE-mail megerősítve itt: cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverE-mail megerősítve itt: ucdenver.edu
- Alexander MalkisGuest Researcher, TUME-mail megerősítve itt: daad-alumni.de