Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 628 | 386 |
indice h | 13 | 11 |
indice i10 | 17 | 11 |
Accès public
Tout afficher9 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKAdresse e-mail validée de hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeAdresse e-mail validée de cam.ac.uk
- Martin KleppmannUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaAdresse e-mail validée de unibo.it
- Kathryn E. GrayUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresse e-mail validée de pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Tom RidgeIndependentAdresse e-mail validée de tom-ridge.com
- Scott OwensUniversity of KentAdresse e-mail validée de kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresse e-mail validée de kerguelen.org
- Stephen KellKing's College LondonAdresse e-mail validée de kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsAdresse e-mail validée de st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghAdresse e-mail validée de hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureAdresse e-mail validée de di.ens.fr
- François BobotAdresse e-mail validée de bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityAdresse e-mail validée de stanford.edu
Suivre
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Adresse e-mail validée de amazon.co.uk - Page d'accueil