Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 622 | 271 |
Índice h | 9 | 8 |
Índice i10 | 9 | 7 |
Acesso público
Ver tudo7 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail confirmado em unimelb.edu.au
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail confirmado em proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail confirmado em ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail confirmado em in.tum.de
- R JefferyUNSWEmail confirmado em cse.unsw.edu.au
- Mark StaplesData61, CSIROEmail confirmado em data61.csiro.au