Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 26611 | 10037 |
indice h | 75 | 45 |
indice i10 | 276 | 165 |
Accès public
Tout afficher126 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceAdresse e-mail validée de glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkAdresse e-mail validée de york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinAdresse e-mail validée de di.unito.it
- Luca LaurentiTU DelftAdresse e-mail validée de tudelft.nl
- Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Andrea PataneTrinity College DublinAdresse e-mail validée de tcd.ie
- Vojtěch ForejtDifflblueAdresse e-mail validée de diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonAdresse e-mail validée de kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonAdresse e-mail validée de bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolAdresse e-mail validée de liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Roberto SegalaUniversità di VeronaAdresse e-mail validée de univr.it
- Christel BaierTU DresdenAdresse e-mail validée de tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityAdresse e-mail validée de stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteAdresse e-mail validée de imperial.ac.uk
- Alexandru MereacreNquiringminds LtdAdresse e-mail validée de nquiringminds.com
- Milan CeskaBrno University of TechnologyAdresse e-mail validée de fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresse e-mail validée de cs.ox.ac.uk
- Frits DannenbergAdresse e-mail validée de caltech.edu
Suivre
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Adresse e-mail validée de comlab.ox.ac.uk - Page d'accueil