Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
0 artikelen
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
- Michael NorrishAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Geverifieerd e-mailadres voor ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- David CockSenior Researcher, ETH ZurichGeverifieerd e-mailadres voor cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Yoram MosesTechnionGeverifieerd e-mailadres voor ee.technion.ac.il
- Peter GammieANUGeverifieerd e-mailadres voor anu.edu.au
- Kaile SuIIIS, Griffith UniversityGeverifieerd e-mailadres voor griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyGeverifieerd e-mailadres voor unsw.edu.au
- Tony HoskingAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Chenyi ZhangOracle Labs AustraliaGeverifieerd e-mailadres voor oracle.com
- Ralf HuuckNICTA, UNSWGeverifieerd e-mailadres voor cse.unsw.edu.au