Kendi profilinizi oluşturun
Alıntı yapanlar
Hepsi | 2019 yılından bugüne | |
---|---|---|
Alıntılar | 624 | 273 |
h-endeksi | 9 | 8 |
i10-endeksi | 9 | 7 |
Genel erişim
Tümünü görüntüle7 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
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Gerwin KleinProofcraft and UNSWunsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems üzerinde doğrulanmış e-posta adresine sahip
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de üzerinde doğrulanmış e-posta adresine sahip
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de üzerinde doğrulanmış e-posta adresine sahip
- R JefferyUNSWcse.unsw.edu.au üzerinde doğrulanmış e-posta adresine sahip
- Mark StaplesData61, CSIROdata61.csiro.au üzerinde doğrulanmış e-posta adresine sahip