Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 26636 | 10058 |
h-index | 75 | 45 |
i10-index | 276 | 165 |
Acces public
Afișați-le pe toate127 de articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceAdresă de e-mail confirmată pe glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkAdresă de e-mail confirmată pe york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinAdresă de e-mail confirmată pe di.unito.it
- Luca LaurentiTU DelftAdresă de e-mail confirmată pe tudelft.nl
- Luca CardelliUniversity of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Andrea PataneTrinity College DublinAdresă de e-mail confirmată pe tcd.ie
- Vojtěch ForejtDifflblueAdresă de e-mail confirmată pe diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonAdresă de e-mail confirmată pe bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolAdresă de e-mail confirmată pe liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldAdresă de e-mail confirmată pe sheffield.ac.uk
- Roberto SegalaUniversità di VeronaAdresă de e-mail confirmată pe univr.it
- Christel BaierTU DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityAdresă de e-mail confirmată pe stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteAdresă de e-mail confirmată pe imperial.ac.uk
- Alexandru MereacreNquiringminds LtdAdresă de e-mail confirmată pe nquiringminds.com
- Milan CeskaBrno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Frits DannenbergAdresă de e-mail confirmată pe caltech.edu
Urmăriți
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Adresă de e-mail confirmată pe comlab.ox.ac.uk - Pagina de pornire