Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3748 | 1080 |
Índice h | 28 | 17 |
Índice i10 | 38 | 21 |
Acceso público
Ver todo3 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Jade AlglaveARM and University College LondonDirección de correo verificada de ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com
- Didier RémyINRIADirección de correo verificada de inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
- Shaked FlurCambridge UniversityDirección de correo verificada de cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- Scott OwensUniversity of KentDirección de correo verificada de kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaDirección de correo verificada de unibo.it
- Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
- ali sezginUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Qin MaUniversity of LuxembourgDirección de correo verificada de uni.lu
- Paul McKenneySoftware Engineer, FacebookDirección de correo verificada de meta.com
- Alan SchmittInria, IRISADirección de correo verificada de inria.fr
- Louis MandelIBM ResearchDirección de correo verificada de us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaDirección de correo verificada de xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonDirección de correo verificada de ucl.ac.uk