Mijn eigen profiel maken
Openbare toegang
Alles bekijken25 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesGeverifieerd e-mailadres voor unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityGeverifieerd e-mailadres voor cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWGeverifieerd e-mailadres voor unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Gabriele KellerUtrecht UniversityGeverifieerd e-mailadres voor uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghGeverifieerd e-mailadres voor anu.edu.au
- Zilin ChenUNSWGeverifieerd e-mailadres voor unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichGeverifieerd e-mailadres voor lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyGeverifieerd e-mailadres voor unsw.edu.au
- Peter GammieANUGeverifieerd e-mailadres voor anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Geverifieerd e-mailadres voor huawei.com
- R JefferyUNSWGeverifieerd e-mailadres voor cse.unsw.edu.au
- Mark StaplesData61, CSIROGeverifieerd e-mailadres voor data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Peter ChubbUNSW, SydneyGeverifieerd e-mailadres voor unsw.edu.au
- Timothy BourkeGeverifieerd e-mailadres voor tbrk.org
- Sean SeefriedResearch Engineer, NICTAGeverifieerd e-mailadres voor nicta.com.au
Volgen
Toby Murray
School of Computing and Information Systems, University of Melbourne
Geverifieerd e-mailadres voor unimelb.edu.au - Homepage