Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3664 | 1139 |
indice h | 10 | 5 |
indice i10 | 10 | 4 |
Accès public
Tout afficher1 article
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresse e-mail validée de ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Yoram MosesTechnionAdresse e-mail validée de ee.technion.ac.il
- Peter GammieANUAdresse e-mail validée de anu.edu.au
- Kaile SuIIIS, Griffith UniversityAdresse e-mail validée de griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyAdresse e-mail validée de unsw.edu.au
- Tony HoskingAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Chenyi ZhangOracle Labs AustraliaAdresse e-mail validée de oracle.com
- Ralf HuuckNICTA, UNSWAdresse e-mail validée de cse.unsw.edu.au