Obter o meu próprio perfil
Citado por
Todos | Desde 2020 | |
---|---|---|
Citações | 28689 | 10117 |
Índice h | 79 | 46 |
Índice i10 | 285 | 159 |
Acesso público
Ver tudo135 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
Xiaowei HuangProfessor of Computer Science, University of LiverpoolEmail confirmado em liverpool.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonEmail confirmado em bbk.ac.uk
Hongyang QuResearch Fellow, University of SheffieldEmail confirmado em sheffield.ac.uk
Roberto SegalaUniversità di VeronaEmail confirmado em univr.it
Min WuStanford UniversityEmail confirmado em stanford.edu
Christel BaierTU DresdenEmail confirmado em tu-dresden.de
Matthew WickerImperial College London & The Alan Turing InstituteEmail confirmado em imperial.ac.uk
Alexandru MereacreNquiringminds LtdEmail confirmado em nquiringminds.com
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail confirmado em cs.ox.ac.uk
Milan CeskaBrno University of TechnologyEmail confirmado em fit.vutbr.cz
Wenjie RuanSenior Lecturer, University of ExeterEmail confirmado em cs.ox.ac.uk
Seguir
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Email confirmado em comlab.ox.ac.uk - Página inicial