Obter 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 todos7 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
- R JefferyUNSWE-mail confirmado em cse.unsw.edu.au
- Mark StaplesData61, CSIROE-mail confirmado em data61.csiro.au