Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2060 | 477 |
h-index | 22 | 12 |
i10-index | 33 | 16 |
Nyilvános hozzáférés
Összes megtekintése13 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Conor McBrideReader, University of StrathclydeE-mail megerősítve itt: strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsE-mail megerősítve itt: st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsE-mail megerősítve itt: cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghE-mail megerősítve itt: inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail megerősítve itt: inf.ed.ac.uk
- Healfdene GoguenGoogleE-mail megerősítve itt: google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityE-mail megerősítve itt: st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamE-mail megerősítve itt: cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalE-mail megerősítve itt: csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeE-mail megerősítve itt: strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mail megerősítve itt: ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail megerősítve itt: cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaE-mail megerősítve itt: unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mail megerősítve itt: pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghE-mail megerősítve itt: ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mail megerősítve itt: amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurE-mail megerősítve itt: inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mail megerősítve itt: kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureE-mail megerősítve itt: di.ens.fr