Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 3768 | 1101 |
h-rodyklė | 29 | 17 |
i10-rodyklė | 38 | 21 |
Viešas pasiekiamumas
Peržiūrėti viską3 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Jade AlglaveARM and University College LondonPatvirtintas el. paštas ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsPatvirtintas el. paštas st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchPatvirtintas el. paštas microsoft.com
- Didier RémyINRIAPatvirtintas el. paštas inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchPatvirtintas el. paštas microsoft.com
- Shaked FlurCambridge UniversityPatvirtintas el. paštas cl.cam.ac.uk
- Christopher PulteUniversity of CambridgePatvirtintas el. paštas cam.ac.uk
- Scott OwensUniversity of KentPatvirtintas el. paštas kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaPatvirtintas el. paštas unibo.it
- Michael TautschnigQueen Mary University of LondonPatvirtintas el. paštas qmul.ac.uk
- ali sezginUniversity of CambridgePatvirtintas el. paštas cam.ac.uk
- Kathryn E. GrayUniversity of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Qin MaUniversity of LuxembourgPatvirtintas el. paštas uni.lu
- Paul McKenneySoftware Engineer, FacebookPatvirtintas el. paštas meta.com
- Alan SchmittInria, IRISAPatvirtintas el. paštas inria.fr
- Louis MandelIBM ResearchPatvirtintas el. paštas us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaPatvirtintas el. paštas xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonPatvirtintas el. paštas ucl.ac.uk