Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3732 | 1064 |
indice h | 28 | 16 |
indice i10 | 38 | 21 |
Accès public
Tout afficher3 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Jade AlglaveARM and University College LondonAdresse e-mail validée de ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsAdresse e-mail validée de st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Didier RémyINRIAAdresse e-mail validée de inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
- Shaked FlurCambridge UniversityAdresse e-mail validée de cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- Scott OwensUniversity of KentAdresse e-mail validée de kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaAdresse e-mail validée de unibo.it
- Michael TautschnigQueen Mary University of LondonAdresse e-mail validée de qmul.ac.uk
- ali sezginUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Qin MaUniversity of LuxembourgAdresse e-mail validée de uni.lu
- Paul McKenneySoftware Engineer, FacebookAdresse e-mail validée de meta.com
- Alan SchmittInria, IRISAAdresse e-mail validée de inria.fr
- Louis MandelIBM ResearchAdresse e-mail validée de us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaAdresse e-mail validée de xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonAdresse e-mail validée de ucl.ac.uk