Crea el meu perfil
Accés públic
Mostra-ho tot127 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceCorreu electrònic verificat a glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkCorreu electrònic verificat a york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinCorreu electrònic verificat a di.unito.it
- Luca LaurentiTU DelftCorreu electrònic verificat a tudelft.nl
- Luca CardelliUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Andrea PataneTrinity College DublinCorreu electrònic verificat a tcd.ie
- Vojtěch ForejtDifflblueCorreu electrònic verificat a diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonCorreu electrònic verificat a kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonCorreu electrònic verificat a bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolCorreu electrònic verificat a liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldCorreu electrònic verificat a sheffield.ac.uk
- Roberto SegalaUniversità di VeronaCorreu electrònic verificat a univr.it
- Christel BaierTU DresdenCorreu electrònic verificat a tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityCorreu electrònic verificat a stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteCorreu electrònic verificat a imperial.ac.uk
- Alexandru MereacreNquiringminds LtdCorreu electrònic verificat a nquiringminds.com
- Milan CeskaBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Frits DannenbergCorreu electrònic verificat a caltech.edu
Segueix
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Correu electrònic verificat a comlab.ox.ac.uk - Pàgina d'inici