Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 624 | 273 |
indice h | 9 | 8 |
indice i10 | 9 | 7 |
Accès public
Tout afficher7 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- R JefferyUNSWAdresse e-mail validée de cse.unsw.edu.au
- Mark StaplesData61, CSIROAdresse e-mail validée de data61.csiro.au