Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2330 | 1248 |
h-index | 22 | 18 |
i10-index | 43 | 27 |
Acces public
Afișați-le pe toate25 de articole
1 articol
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
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityAdresă de e-mail confirmată pe cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWAdresă de e-mail confirmată pe unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Gabriele KellerUtrecht UniversityAdresă de e-mail confirmată pe uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghAdresă de e-mail confirmată pe anu.edu.au
- Zilin ChenUNSWAdresă de e-mail confirmată pe unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichAdresă de e-mail confirmată pe lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyAdresă de e-mail confirmată pe unsw.edu.au
- Peter GammieANUAdresă de e-mail confirmată pe anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Adresă de e-mail confirmată pe huawei.com
- R JefferyUNSWAdresă de e-mail confirmată pe cse.unsw.edu.au
- Mark StaplesData61, CSIROAdresă de e-mail confirmată pe data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Peter ChubbUNSW, SydneyAdresă de e-mail confirmată pe unsw.edu.au
- Timothy BourkeAdresă de e-mail confirmată pe tbrk.org
- Sean SeefriedResearch Engineer, NICTAAdresă de e-mail confirmată pe nicta.com.au
Urmăriți
Toby Murray
School of Computing and Information Systems, University of Melbourne
Adresă de e-mail confirmată pe unimelb.edu.au - Pagina de pornire