Crea il mio profilo
Accesso pubblico
Visualizza tutto133 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceEmail verificata su glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkEmail verificata su york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinEmail verificata su di.unito.it
- Luca LaurentiTU DelftEmail verificata su tudelft.nl
- Luca CardelliUniversity of OxfordEmail verificata su cs.ox.ac.uk
- Andrea PataneTrinity College DublinEmail verificata su tcd.ie
- Vojtěch ForejtDifflblueEmail verificata su diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonEmail verificata su kcl.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
- Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonEmail verificata su bbk.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldEmail verificata su sheffield.ac.uk
- Roberto SegalaUniversità di VeronaEmail verificata su univr.it
- Min WuDepartment of Computer Science, Stanford UniversityEmail verificata su stanford.edu
- Christel BaierTU DresdenEmail verificata su tu-dresden.de
- Matthew WickerImperial College London & The Alan Turing InstituteEmail verificata su imperial.ac.uk
- Alexandru MereacreNquiringminds LtdEmail verificata su nquiringminds.com
- Milan CeskaBrno University of TechnologyEmail verificata su fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Wenjie RuanSenior Lecturer, University of ExeterEmail verificata su cs.ox.ac.uk
Segui
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Email verificata su comlab.ox.ac.uk - Home page