Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 622 | 271 |
h-indeks | 9 | 8 |
i10-indeks | 9 | 7 |
Offentlig tilgang
Vis alle7 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifisert e-postadresse på ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- R JefferyUNSWVerifisert e-postadresse på cse.unsw.edu.au
- Mark StaplesData61, CSIROVerifisert e-postadresse på data61.csiro.au