Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 26636 | 10058 |
h-індекс | 75 | 45 |
i10-індекс | 276 | 165 |
Доступні для всіх
Переглянути всі127 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceПідтверджена електронна адреса в glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkПідтверджена електронна адреса в york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinПідтверджена електронна адреса в di.unito.it
- Luca LaurentiTU DelftПідтверджена електронна адреса в tudelft.nl
- Luca CardelliUniversity of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
- Andrea PataneTrinity College DublinПідтверджена електронна адреса в tcd.ie
- Vojtěch ForejtDifflblueПідтверджена електронна адреса в diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonПідтверджена електронна адреса в kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonПідтверджена електронна адреса в bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolПідтверджена електронна адреса в liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Roberto SegalaUniversità di VeronaПідтверджена електронна адреса в univr.it
- Christel BaierTU DresdenПідтверджена електронна адреса в tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityПідтверджена електронна адреса в stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteПідтверджена електронна адреса в imperial.ac.uk
- Alexandru MereacreNquiringminds LtdПідтверджена електронна адреса в nquiringminds.com
- Milan CeskaBrno University of TechnologyПідтверджена електронна адреса в fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKПідтверджена електронна адреса в cs.ox.ac.uk
- Frits DannenbergПідтверджена електронна адреса в caltech.edu
Підписатись
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Підтверджена електронна адреса в comlab.ox.ac.uk - Домашня сторінка