Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2113 | 762 |
h-індекс | 16 | 10 |
i10-індекс | 24 | 11 |
Доступні для всіх
Переглянути всі2 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Peter O'HearnLacework and University College LondonПідтверджена електронна адреса в ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonПідтверджена електронна адреса в cs.ucl.ac.uk
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenПідтверджена електронна адреса в gu.se
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteПідтверджена електронна адреса в ucl.ac.uk
- Benjamin A HallRoyal Society URF, UCLПідтверджена електронна адреса в ucl.ac.uk
- Tom CrickSwansea University, UK (@ProfTomCrick)Підтверджена електронна адреса в swansea.ac.uk
- Alex TaylorDesign Informatics, University of EdinburghПідтверджена електронна адреса в ed.ac.uk
- Josh BerdineFacebookПідтверджена електронна адреса в fb.com
- Moshe Y. VardiRice UniversityПідтверджена електронна адреса в cs.rice.edu
- Magnus MyreenChalmers University of TechnologyПідтверджена електронна адреса в cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsПідтверджена електронна адреса в st-andrews.ac.uk
- Francesco Zappa NardelliFacebookПідтверджена електронна адреса в fb.com
- Jade AlglaveARM and University College LondonПідтверджена електронна адреса в ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Nathan ChongAmazonПідтверджена електронна адреса в amazon.com
- Aseem RastogiResearcher, Microsoft ResearchПідтверджена електронна адреса в microsoft.com
- Markulf KohlweissUniveristy of EdinburghПідтверджена електронна адреса в ed.ac.uk
- Karthikeyan BhargavanINRIAПідтверджена електронна адреса в inria.fr
- Marc BrockschmidtResearch Scientist, Google DeepMindПідтверджена електронна адреса в google.com
- Christoph M. WintersteigerImandraПідтверджена електронна адреса в imandra.ai