Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 26478 | 9908 |
Índice h | 75 | 45 |
Índice i10 | 276 | 164 |
Acesso público
Ver todos125 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceE-mail confirmado em glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkE-mail confirmado em york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinE-mail confirmado em di.unito.it
- Luca LaurentiTU DelftE-mail confirmado em tudelft.nl
- Luca CardelliUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
- Vojtěch ForejtDifflblueE-mail confirmado em diffblue.com
- Andrea PataneTrinity College DublinE-mail confirmado em tcd.ie
- Nicola PaolettiDepartment of Informatics, King's College LondonE-mail confirmado em kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mail confirmado em bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldE-mail confirmado em sheffield.ac.uk
- Roberto SegalaUniversità di VeronaE-mail confirmado em univr.it
- Christel BaierTU DresdenE-mail confirmado em tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityE-mail confirmado em stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteE-mail confirmado em imperial.ac.uk
- Alexandru MereacreNquiringminds LtdE-mail confirmado em nquiringminds.com
- Milan CeskaBrno University of TechnologyE-mail confirmado em fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail confirmado em cs.ox.ac.uk
- Frits DannenbergE-mail confirmado em caltech.edu
Seguir
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
E-mail confirmado em comlab.ox.ac.uk - Página inicial