Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 352 | 255 |
indice h | 9 | 8 |
indice i10 | 9 | 8 |
Accès public
Tout afficher7 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Liam O'ConnorThe Australian National University and The University of EdinburghAdresse e-mail validée de anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityAdresse e-mail validée de cam.ac.uk
- Zilin ChenUNSWAdresse e-mail validée de unswalumni.com
- Gabriele KellerUtrecht UniversityAdresse e-mail validée de uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Peter ChubbUNSW, SydneyAdresse e-mail validée de unsw.edu.au
- Ramana KumarDeepMindAdresse e-mail validée de cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverAdresse e-mail validée de ucdenver.edu
- Alexander MalkisGuest Researcher, TUMAdresse e-mail validée de daad-alumni.de
Suivre