Založit si vlastní profil
Veřejný přístup
Zobrazit všechny7 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mailová adresa ověřena na: anu.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Thomas SewellSenior Research Associate, Cambridge UniversityE-mailová adresa ověřena na: cam.ac.uk
- Zilin ChenUNSWE-mailová adresa ověřena na: unswalumni.com
- Gabriele KellerUtrecht UniversityE-mailová adresa ověřena na: uu.nl
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
- Ramana KumarDeepMindE-mailová adresa ověřena na: cl.cam.ac.uk
- Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Steffen BorgwardtUniversity of Colorado DenverE-mailová adresa ověřena na: ucdenver.edu
- Alexander MalkisGuest Researcher, TUME-mailová adresa ověřena na: daad-alumni.de
Sledovat
Yutaka Nagashima
Huawei Technologies R&D (UK)
E-mailová adresa ověřena na: huawei.com - Domovská stránka