Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 26699 | 10121 |
indeks-h | 75 | 45 |
indeks-i10 | 276 | 165 |
Akses publik
Lihat semua127 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceEmail yang diverifikasi di glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkEmail yang diverifikasi di york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinEmail yang diverifikasi di di.unito.it
- Luca LaurentiTU DelftEmail yang diverifikasi di tudelft.nl
- Luca CardelliUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Andrea PataneTrinity College DublinEmail yang diverifikasi di tcd.ie
- Vojtěch ForejtDifflblueEmail yang diverifikasi di diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonEmail yang diverifikasi di kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonEmail yang diverifikasi di bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldEmail yang diverifikasi di sheffield.ac.uk
- Roberto SegalaUniversità di VeronaEmail yang diverifikasi di univr.it
- Christel BaierTU DresdenEmail yang diverifikasi di tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityEmail yang diverifikasi di stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteEmail yang diverifikasi di imperial.ac.uk
- Alexandru MereacreNquiringminds LtdEmail yang diverifikasi di nquiringminds.com
- Milan CeskaBrno University of TechnologyEmail yang diverifikasi di fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Frits DannenbergEmail yang diverifikasi di caltech.edu
Ikuti
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Email yang diverifikasi di comlab.ox.ac.uk - Beranda