Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3739 | 1071 |
Índice h | 28 | 16 |
Índice i10 | 38 | 21 |
Acesso público
Ver todos3 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jade AlglaveARM and University College LondonE-mail confirmado em ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsE-mail confirmado em st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchE-mail confirmado em microsoft.com
- Didier RémyINRIAE-mail confirmado em inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchE-mail confirmado em microsoft.com
- Shaked FlurCambridge UniversityE-mail confirmado em cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeE-mail confirmado em cam.ac.uk
- Scott OwensUniversity of KentE-mail confirmado em kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaE-mail confirmado em unibo.it
- Michael TautschnigQueen Mary University of LondonE-mail confirmado em qmul.ac.uk
- ali sezginUniversity of CambridgeE-mail confirmado em cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeE-mail confirmado em cl.cam.ac.uk
- Qin MaUniversity of LuxembourgE-mail confirmado em uni.lu
- Paul McKenneySoftware Engineer, FacebookE-mail confirmado em meta.com
- Alan SchmittInria, IRISAE-mail confirmado em inria.fr
- Louis MandelIBM ResearchE-mail confirmado em us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaE-mail confirmado em xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonE-mail confirmado em ucl.ac.uk