Crear mi propio perfil
Citado por
Total | Desde 2020 | |
---|---|---|
Citas | 4001 | 1123 |
Índice h | 30 | 18 |
Índice i10 | 37 | 20 |
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
Shaked FlurCambridge UniversityDirección de correo verificada de cl.cam.ac.uk
Georges GonthierPrincipal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
Scott OwensUniversity of KentDirección de correo verificada de kent.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
Cosimo LaneveProfessor of Computer Science, University of BolognaDirección de correo verificada de unibo.it
Paul McKenneySoftware Engineer, FacebookDirección de correo verificada de meta.com
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Qin MaUniversity of LuxembourgDirección de correo verificada de uni.lu
Louis MandelIBM ResearchDirección de correo verificada de us.ibm.com
Alan SchmittInria, IRISADirección de correo verificada de inria.fr
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