Kendi profilinizi oluşturun
Alıntı yapanlar
Hepsi | 2019 yılından bugüne | |
---|---|---|
Alıntılar | 3664 | 1139 |
h-endeksi | 10 | 5 |
i10-endeksi | 10 | 4 |
Genel erişim
Tümünü görüntüle1 makale
0 makale
genel erişime açık olanlar
genel erişime açık olmayanlar
Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak
Katkıda bulunan yazarlar
- Gerwin KleinProofcraft and UNSWunsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Michael NorrishAustralian National Universityanu.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk üzerinde doğrulanmış e-posta adresine sahip
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems üzerinde doğrulanmış e-posta adresine sahip
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South Walescse.unsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Yoram MosesTechnionee.technion.ac.il üzerinde doğrulanmış e-posta adresine sahip
- Peter GammieANUanu.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Kaile SuIIIS, Griffith Universitygriffith.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydneyunsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Tony HoskingAustralian National Universityanu.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Chenyi ZhangOracle Labs Australiaoracle.com üzerinde doğrulanmış e-posta adresine sahip
- Ralf HuuckNICTA, UNSWcse.unsw.edu.au üzerinde doğrulanmış e-posta adresine sahip