Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 352 | 255 |
Índice h | 9 | 8 |
Índice i10 | 9 | 8 |
Acesso público
Ver todos7 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mail confirmado em anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mail confirmado em unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityE-mail confirmado em cam.ac.uk
- Zilin ChenUNSWE-mail confirmado em unswalumni.com
- Gabriele KellerUtrecht UniversityE-mail confirmado em uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
- Peter ChubbUNSW, SydneyE-mail confirmado em unsw.edu.au
- Ramana KumarDeepMindE-mail confirmado em cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverE-mail confirmado em ucdenver.edu
- Alexander MalkisGuest Researcher, TUME-mail confirmado em daad-alumni.de