Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 3668 | 1143 |
H-indeks | 10 | 5 |
i10-indeks | 10 | 4 |
Javni pristup
Prikaži sve1 članak
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Gerwin KleinProofcraft and UNSWPotvrđena adresa e-pošte na unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesPotvrđena adresa e-pošte na unsw.edu.au
- Michael NorrishAustralian National UniversityPotvrđena adresa e-pošte na anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Potvrđena adresa e-pošte na ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesPotvrđena adresa e-pošte na cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftPotvrđena adresa e-pošte na proofcraft.systems
- David CockSenior Researcher, ETH ZurichPotvrđena adresa e-pošte na cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesPotvrđena adresa e-pošte na cse.unsw.edu.au
- Yoram MosesTechnionPotvrđena adresa e-pošte na ee.technion.ac.il
- Peter GammieANUPotvrđena adresa e-pošte na anu.edu.au
- Kaile SuIIIS, Griffith UniversityPotvrđena adresa e-pošte na griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbournePotvrđena adresa e-pošte na unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyPotvrđena adresa e-pošte na unsw.edu.au
- Tony HoskingAustralian National UniversityPotvrđena adresa e-pošte na anu.edu.au
- Chenyi ZhangOracle Labs AustraliaPotvrđena adresa e-pošte na oracle.com
- Ralf HuuckNICTA, UNSWPotvrđena adresa e-pošte na cse.unsw.edu.au