Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 26630 | 10052 |
Índice h | 75 | 45 |
Índice i10 | 276 | 165 |
Acesso público
Ver tudo127 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceEmail confirmado em glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkEmail confirmado em york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinEmail confirmado em di.unito.it
- Luca LaurentiTU DelftEmail confirmado em tudelft.nl
- Luca CardelliUniversity of OxfordEmail confirmado em cs.ox.ac.uk
- Andrea PataneTrinity College DublinEmail confirmado em tcd.ie
- Vojtěch ForejtDifflblueEmail confirmado em diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonEmail confirmado em kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonEmail confirmado em bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolEmail confirmado em liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldEmail confirmado em sheffield.ac.uk
- Roberto SegalaUniversità di VeronaEmail confirmado em univr.it
- Christel BaierTU DresdenEmail confirmado em tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityEmail confirmado em stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteEmail confirmado em imperial.ac.uk
- Alexandru MereacreNquiringminds LtdEmail confirmado em nquiringminds.com
- Milan CeskaBrno University of TechnologyEmail confirmado em fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail confirmado em cs.ox.ac.uk
- Frits DannenbergEmail confirmado em caltech.edu
Seguir
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Email confirmado em comlab.ox.ac.uk - Página inicial