Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3664 | 1139 |
h-index | 10 | 5 |
i10-index | 10 | 4 |
Nyilvános hozzáférés
Összes megtekintése1 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail megerősítve itt: unsw.edu.au
- Michael NorrishAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail megerősítve itt: ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- David CockSenior Researcher, ETH ZurichE-mail megerősítve itt: cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- Yoram MosesTechnionE-mail megerősítve itt: ee.technion.ac.il
- Peter GammieANUE-mail megerősítve itt: anu.edu.au
- Kaile SuIIIS, Griffith UniversityE-mail megerősítve itt: griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail megerősítve itt: unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyE-mail megerősítve itt: unsw.edu.au
- Tony HoskingAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Chenyi ZhangOracle Labs AustraliaE-mail megerősítve itt: oracle.com
- Ralf HuuckNICTA, UNSWE-mail megerősítve itt: cse.unsw.edu.au