Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2060 | 477 |
Índice h | 22 | 12 |
Índice i10 | 33 | 16 |
Acceso público
Ver todo13 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Conor McBrideReader, University of StrathclydeDirección de correo verificada de strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsDirección de correo verificada de cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordDirección de correo verificada de cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
- Healfdene GoguenGoogleDirección de correo verificada de google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamDirección de correo verificada de cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalDirección de correo verificada de csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeDirección de correo verificada de strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaDirección de correo verificada de unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityDirección de correo verificada de pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesDirección de correo verificada de amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurDirección de correo verificada de inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureDirección de correo verificada de di.ens.fr