Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3674 | 1148 |
h-index | 10 | 5 |
i10-index | 10 | 4 |
Acces public
Afișați-le pe toate1 articol
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Yoram MosesTechnionAdresă de e-mail confirmată pe ee.technion.ac.il
- Peter GammieANUAdresă de e-mail confirmată pe anu.edu.au
- Kaile SuIIIS, Griffith UniversityAdresă de e-mail confirmată pe griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyAdresă de e-mail confirmată pe unsw.edu.au
- Tony HoskingAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Chenyi ZhangOracle Labs AustraliaAdresă de e-mail confirmată pe oracle.com
- Ralf HuuckNICTA, UNSWAdresă de e-mail confirmată pe cse.unsw.edu.au