Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail verificata su anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail verificata su unimelb.edu.au
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail verificata su unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityEmail verificata su cam.ac.uk
- Zilin ChenUNSWEmail verificata su unswalumni.com
- Gabriele KellerUtrecht UniversityEmail verificata su uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail verificata su unsw.edu.au
- Peter ChubbUNSW, SydneyEmail verificata su unsw.edu.au
- Ramana KumarDeepMindEmail verificata su cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverEmail verificata su ucdenver.edu
- Alexander MalkisGuest Researcher, TUMEmail verificata su daad-alumni.de