Skapa en profil
Offentlig åtkomst
Visa alla125 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerifierad e-postadress på glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkVerifierad e-postadress på york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinVerifierad e-postadress på di.unito.it
- Luca LaurentiTU DelftVerifierad e-postadress på tudelft.nl
- Luca CardelliUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Vojtěch ForejtDifflblueVerifierad e-postadress på diffblue.com
- Andrea PataneTrinity College DublinVerifierad e-postadress på tcd.ie
- Nicola PaolettiDepartment of Informatics, King's College LondonVerifierad e-postadress på kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerifierad e-postadress på bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Roberto SegalaUniversitā di VeronaVerifierad e-postadress på univr.it
- Christel BaierTU DresdenVerifierad e-postadress på tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityVerifierad e-postadress på stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteVerifierad e-postadress på imperial.ac.uk
- Alexandru MereacreNquiringminds LtdVerifierad e-postadress på nquiringminds.com
- Milan CeskaBrno University of TechnologyVerifierad e-postadress på fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Frits DannenbergVerifierad e-postadress på caltech.edu
Följ
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Verifierad e-postadress på comlab.ox.ac.uk - Startsida