Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 26478 | 9908 |
h-индекс | 75 | 45 |
i10-индекс | 276 | 164 |
Публичен достъп
Преглед на всички125 статии
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
- Vojtěch ForejtDifflblueПотвърден имейл адрес: diffblue.com
- Andrea PataneTrinity College DublinПотвърден имейл адрес: tcd.ie
- 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 - Начална страница