Založit si vlastní profil
Veřejný přístup
Zobrazit všechny25 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mailová adresa ověřena na: comlab.ox.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Jeremy SprostonAssistant professor, University of TurinE-mailová adresa ověřena na: di.unito.it
- Roberto SegalaUniversità di VeronaE-mailová adresa ověřena na: univr.it
- Vojtěch ForejtDifflblueE-mailová adresa ověřena na: diffblue.com
- Sandeep ShuklaProfessor of Computer Science and EngineeringE-mailová adresa ověřena na: cse.iitk.ac.in
- John HeathProfessor Birmingham UniversityE-mailová adresa ověřena na: bham.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Alice MillerProfessor, University of GlasgowE-mailová adresa ověřena na: glasgow.ac.uk
- Håkan L. S. YounesGoogle IncE-mailová adresa ověřena na: google.com
- Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoE-mailová adresa ověřena na: ucsd.edu
- Catuscia PalamidessiInriaE-mailová adresa ověřena na: lix.polytechnique.fr
- Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesE-mailová adresa ověřena na: ios.ac.cn
- Marie DuflotLORIA - Université de Lorraine & INRIAE-mailová adresa ověřena na: inria.fr
- Ruth HoffmannSchool of Computer Science, University of St AndrewsE-mailová adresa ověřena na: st-andrews.ac.uk
- Murray IrelandHead of Autonomous Systems, Craft ProspectE-mailová adresa ověřena na: craftprospect.com
- Luca de AlfaroProfessor, UC Santa CruzE-mailová adresa ověřena na: acm.org
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mailová adresa ověřena na: colorado.edu
- António Pacheco PiresProfessor, CEMAT and Department of Mathematics, Instituto Superior Técnico - Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Jan RuttenCWIE-mailová adresa ověřena na: cwi.nl
Sledovat
Gethin Norman
Senior Lecturer of Computing Science, Glasgow University, School of Computing Science
E-mailová adresa ověřena na: glasgow.ac.uk - Domovská stránka