Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 352 | 255 |
h-indeks | 9 | 8 |
i10-indeks | 9 | 8 |
Dostęp publiczny
Wyświetl wszystko7 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Liam O'ConnorThe Australian National University and The University of EdinburghZweryfikowany adres z anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneZweryfikowany adres z unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityZweryfikowany adres z cam.ac.uk
- Zilin ChenUNSWZweryfikowany adres z unswalumni.com
- Gabriele KellerUtrecht UniversityZweryfikowany adres z uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesZweryfikowany adres z unsw.edu.au
- Peter ChubbUNSW, SydneyZweryfikowany adres z unsw.edu.au
- Ramana KumarDeepMindZweryfikowany adres z cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverZweryfikowany adres z ucdenver.edu
- Alexander MalkisGuest Researcher, TUMZweryfikowany adres z daad-alumni.de
Obserwuj