Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 27475 | 10726 |
indice h | 76 | 47 |
indice i10 | 280 | 171 |
Accès public
Tout afficher127 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
Xiaowei HuangProfessor of Computer Science, University of LiverpoolAdresse e-mail validée de liverpool.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonAdresse e-mail validée de bbk.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
Min WuDepartment of Computer Science, Stanford UniversityAdresse e-mail validée de stanford.edu
Christel BaierTU DresdenAdresse e-mail validée de tu-dresden.de
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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=ArcH6PkAAAAJ&citpid=3)
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Adresse e-mail validée de comlab.ox.ac.uk - Page d'accueil