Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3748 | 1080 |
Índice h | 28 | 17 |
Índice i10 | 38 | 21 |
Acesso público
Ver tudo3 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Jade AlglaveARM and University College LondonEmail confirmado em ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeEmail confirmado em cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail confirmado em st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchEmail confirmado em microsoft.com
- Didier RémyINRIAEmail confirmado em inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchEmail confirmado em microsoft.com
- Shaked FlurCambridge UniversityEmail confirmado em cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeEmail confirmado em cam.ac.uk
- Scott OwensUniversity of KentEmail confirmado em kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaEmail confirmado em unibo.it
- Michael TautschnigQueen Mary University of LondonEmail confirmado em qmul.ac.uk
- ali sezginUniversity of CambridgeEmail confirmado em cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeEmail confirmado em cl.cam.ac.uk
- Qin MaUniversity of LuxembourgEmail confirmado em uni.lu
- Paul McKenneySoftware Engineer, FacebookEmail confirmado em meta.com
- Alan SchmittInria, IRISAEmail confirmado em inria.fr
- Louis MandelIBM ResearchEmail confirmado em us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaEmail confirmado em xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonEmail confirmado em ucl.ac.uk