Iegūt savu profilu
Citēts
Visi | Kopš 2019. gada | |
---|---|---|
Atsauces | 26666 | 10087 |
h rādītājs | 75 | 45 |
i10 rādītājs | 276 | 165 |
Publiskā piekļuvē
Skatīt visu127 raksti
1 raksts
pieejami
nav pieejami
Pamatojoties uz finansējuma mandātiem
Līdzautori
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerificēta e-pasta adrese: glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordVerificēta e-pasta adrese: cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkVerificēta e-pasta adrese: york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinVerificēta e-pasta adrese: di.unito.it
- Luca LaurentiTU DelftVerificēta e-pasta adrese: tudelft.nl
- Luca CardelliUniversity of OxfordVerificēta e-pasta adrese: cs.ox.ac.uk
- Andrea PataneTrinity College DublinVerificēta e-pasta adrese: tcd.ie
- Vojtěch ForejtDifflblueVerificēta e-pasta adrese: diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonVerificēta e-pasta adrese: kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerificēta e-pasta adrese: bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerificēta e-pasta adrese: liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldVerificēta e-pasta adrese: sheffield.ac.uk
- Roberto SegalaUniversità di VeronaVerificēta e-pasta adrese: univr.it
- Christel BaierTU DresdenVerificēta e-pasta adrese: tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityVerificēta e-pasta adrese: stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteVerificēta e-pasta adrese: imperial.ac.uk
- Alexandru MereacreNquiringminds LtdVerificēta e-pasta adrese: nquiringminds.com
- Milan CeskaBrno University of TechnologyVerificēta e-pasta adrese: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificēta e-pasta adrese: cs.ox.ac.uk
- Frits DannenbergVerificēta e-pasta adrese: caltech.edu
Sekot
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Verificēta e-pasta adrese: comlab.ox.ac.uk - Mājaslapa