Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 2060 | 477 |
h-индекс | 22 | 12 |
i10-индекс | 33 | 16 |
Публичен достъп
Преглед на всички13 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Conor McBrideReader, University of StrathclydeПотвърден имейл адрес: strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsПотвърден имейл адрес: st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsПотвърден имейл адрес: cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordПотвърден имейл адрес: cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghПотвърден имейл адрес: inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghПотвърден имейл адрес: inf.ed.ac.uk
- Healfdene GoguenGoogleПотвърден имейл адрес: google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityПотвърден имейл адрес: st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamПотвърден имейл адрес: cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalПотвърден имейл адрес: csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeПотвърден имейл адрес: strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghПотвърден имейл адрес: ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenПотвърден имейл адрес: cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaПотвърден имейл адрес: unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityПотвърден имейл адрес: pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghПотвърден имейл адрес: ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesПотвърден имейл адрес: amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurПотвърден имейл адрес: inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHПотвърден имейл адрес: kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureПотвърден имейл адрес: di.ens.fr