Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3874 | 1713 |
Índice h | 13 | 9 |
Índice i10 | 13 | 9 |
Acesso público
Ver todos4 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Michael NorrishAustralian National UniversityE-mail confirmado em anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichE-mail confirmado em inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
- Kai Engelhardtn.a.E-mail confirmado em acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail confirmado em ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaE-mail confirmado em cs.ubc.ca
- Daniel SchwynETH ZürichE-mail confirmado em inf.ethz.ch