Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 6078 | 2492 |
h-index | 26 | 18 |
i10-index | 51 | 28 |
Acces public
Afișați-le pe toate30 de articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Ramana KumarDeepMindAdresă de e-mail confirmată pe cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyAdresă de e-mail confirmată pe cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Kai Engelhardtn.a.Adresă de e-mail confirmată pe acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- Scott OwensUniversity of KentAdresă de e-mail confirmată pe kent.ac.uk
- Tony HoskingAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeAdresă de e-mail confirmată pe cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityAdresă de e-mail confirmată pe google.com
- Tom RidgeIndependentAdresă de e-mail confirmată pe tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Hendra GunadiThe Australian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterAdresă de e-mail confirmată pe manchester.ac.uk