Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 26682 | 10103 |
h-indeks | 75 | 45 |
i10-indeks | 276 | 165 |
Offentlig tilgang
Vis alle127 artikler
1 artikkel
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerifisert e-postadresse på glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkVerifisert e-postadresse på york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinVerifisert e-postadresse på di.unito.it
- Luca LaurentiTU DelftVerifisert e-postadresse på tudelft.nl
- Luca CardelliUniversity of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Andrea PataneTrinity College DublinVerifisert e-postadresse på tcd.ie
- Vojtěch ForejtDifflblueVerifisert e-postadresse på diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonVerifisert e-postadresse på kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerifisert e-postadresse på bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerifisert e-postadresse på liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldVerifisert e-postadresse på sheffield.ac.uk
- Roberto SegalaUniversità di VeronaVerifisert e-postadresse på univr.it
- Christel BaierTU DresdenVerifisert e-postadresse på tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityVerifisert e-postadresse på stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteVerifisert e-postadresse på imperial.ac.uk
- Alexandru MereacreNquiringminds LtdVerifisert e-postadresse på nquiringminds.com
- Milan CeskaBrno University of TechnologyVerifisert e-postadresse på fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifisert e-postadresse på cs.ox.ac.uk
- Frits DannenbergVerifisert e-postadresse på caltech.edu
Følg
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Verifisert e-postadresse på comlab.ox.ac.uk - Startside