Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2061 | 478 |
Índice h | 22 | 12 |
Índice i10 | 33 | 16 |
Acesso público
Ver tudo13 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Conor McBrideReader, University of StrathclydeEmail confirmado em strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsEmail confirmado em st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsEmail confirmado em cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordEmail confirmado em cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghEmail confirmado em inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghEmail confirmado em inf.ed.ac.uk
- Healfdene GoguenGoogleEmail confirmado em google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityEmail confirmado em st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamEmail confirmado em cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalEmail confirmado em csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeEmail confirmado em strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail confirmado em ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail confirmado em cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaEmail confirmado em unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail confirmado em pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghEmail confirmado em ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesEmail confirmado em amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurEmail confirmado em inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHEmail confirmado em kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureEmail confirmado em di.ens.fr