Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 3664 | 1139 |
h-indeks | 10 | 5 |
i10-indeks | 10 | 4 |
Offentlig tilgang
Vis alle1 artikkel
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Yoram MosesTechnionVerifisert e-postadresse på ee.technion.ac.il
- Peter GammieANUVerifisert e-postadresse på anu.edu.au
- Kaile SuIIIS, Griffith UniversityVerifisert e-postadresse på griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerifisert e-postadresse på unsw.edu.au
- Tony HoskingAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Chenyi ZhangOracle Labs AustraliaVerifisert e-postadresse på oracle.com
- Ralf HuuckNICTA, UNSWVerifisert e-postadresse på cse.unsw.edu.au