Mijn eigen profiel maken
Openbare toegang
Alles bekijken127 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceGeverifieerd e-mailadres voor glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkGeverifieerd e-mailadres voor york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinGeverifieerd e-mailadres voor di.unito.it
- Luca LaurentiTU DelftGeverifieerd e-mailadres voor tudelft.nl
- Luca CardelliUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Andrea PataneTrinity College DublinGeverifieerd e-mailadres voor tcd.ie
- Vojtěch ForejtDifflblueGeverifieerd e-mailadres voor diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonGeverifieerd e-mailadres voor bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Roberto SegalaUniversità di VeronaGeverifieerd e-mailadres voor univr.it
- Christel BaierTU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteGeverifieerd e-mailadres voor imperial.ac.uk
- Alexandru MereacreNquiringminds LtdGeverifieerd e-mailadres voor nquiringminds.com
- Milan CeskaBrno University of TechnologyGeverifieerd e-mailadres voor fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKGeverifieerd e-mailadres voor cs.ox.ac.uk
- Frits DannenbergGeverifieerd e-mailadres voor caltech.edu
Volgen
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Geverifieerd e-mailadres voor comlab.ox.ac.uk - Homepage