Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 26666 | 10087 |
Índice h | 75 | 45 |
Índice i10 | 276 | 165 |
Acceso público
Ver todo127 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceDirección de correo verificada de glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkDirección de correo verificada de york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinDirección de correo verificada de di.unito.it
- Luca LaurentiTU DelftDirección de correo verificada de tudelft.nl
- Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
- Andrea PataneTrinity College DublinDirección de correo verificada de tcd.ie
- Vojtěch ForejtDifflblueDirección de correo verificada de diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonDirección de correo verificada de bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldDirección de correo verificada de sheffield.ac.uk
- Roberto SegalaUniversità di VeronaDirección de correo verificada de univr.it
- Christel BaierTU DresdenDirección de correo verificada de tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteDirección de correo verificada de imperial.ac.uk
- Alexandru MereacreNquiringminds LtdDirección de correo verificada de nquiringminds.com
- Milan CeskaBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
- Frits DannenbergDirección de correo verificada de caltech.edu
Seguir
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Dirección de correo verificada de comlab.ox.ac.uk - Página principal