Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 26636 | 10058 |
h-index | 75 | 45 |
i10-index | 276 | 165 |
Nyilvános hozzáférés
Összes megtekintése127 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceE-mail megerősítve itt: glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkE-mail megerősítve itt: york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinE-mail megerősítve itt: di.unito.it
- Luca LaurentiTU DelftE-mail megerősítve itt: tudelft.nl
- Luca CardelliUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Andrea PataneTrinity College DublinE-mail megerősítve itt: tcd.ie
- Vojtěch ForejtDifflblueE-mail megerősítve itt: diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonE-mail megerősítve itt: kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mail megerősítve itt: bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolE-mail megerősítve itt: liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldE-mail megerősítve itt: sheffield.ac.uk
- Roberto SegalaUniversità di VeronaE-mail megerősítve itt: univr.it
- Christel BaierTU DresdenE-mail megerősítve itt: tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityE-mail megerősítve itt: stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteE-mail megerősítve itt: imperial.ac.uk
- Alexandru MereacreNquiringminds LtdE-mail megerősítve itt: nquiringminds.com
- Milan CeskaBrno University of TechnologyE-mail megerősítve itt: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail megerősítve itt: cs.ox.ac.uk
- Frits DannenbergE-mail megerősítve itt: caltech.edu
Követés
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
E-mail megerősítve itt: comlab.ox.ac.uk - Kezdőlap