Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3759 | 1090 |
h-indeks | 28 | 17 |
i10-indeks | 38 | 21 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jade AlglaveARM and University College LondonZweryfikowany adres z ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsZweryfikowany adres z st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchZweryfikowany adres z microsoft.com
- Didier RémyINRIAZweryfikowany adres z inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchZweryfikowany adres z microsoft.com
- Shaked FlurCambridge UniversityZweryfikowany adres z cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Scott OwensUniversity of KentZweryfikowany adres z kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaZweryfikowany adres z unibo.it
- Michael TautschnigQueen Mary University of LondonZweryfikowany adres z qmul.ac.uk
- ali sezginUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Qin MaUniversity of LuxembourgZweryfikowany adres z uni.lu
- Paul McKenneySoftware Engineer, FacebookZweryfikowany adres z meta.com
- Alan SchmittInria, IRISAZweryfikowany adres z inria.fr
- Louis MandelIBM ResearchZweryfikowany adres z us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaZweryfikowany adres z xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonZweryfikowany adres z ucl.ac.uk