Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2061 | 478 |
indice h | 22 | 12 |
indice i10 | 33 | 16 |
Accès public
Tout afficher13 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Conor McBrideReader, University of StrathclydeAdresse e-mail validée de strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsAdresse e-mail validée de st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsAdresse e-mail validée de cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
- Healfdene GoguenGoogleAdresse e-mail validée de google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityAdresse e-mail validée de st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamAdresse e-mail validée de cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalAdresse e-mail validée de csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeAdresse e-mail validée de strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaAdresse e-mail validée de unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresse e-mail validée de pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesAdresse e-mail validée de amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurAdresse e-mail validée de inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresse e-mail validée de kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureAdresse e-mail validée de di.ens.fr