Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3876 | 1715 |
Índice h | 13 | 9 |
Índice i10 | 13 | 9 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Kai Engelhardtn.a.Dirección de correo verificada de acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaDirección de correo verificada de cs.ubc.ca
- Daniel SchwynETH ZürichDirección de correo verificada de inf.ethz.ch
Seguir
David Cock
Senior Researcher, ETH Zurich
Dirección de correo verificada de cse.unsw.edu.au - Página principal