Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 629 | 386 |
Índice h | 13 | 11 |
Índice i10 | 17 | 11 |
Acceso público
Ver todo9 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKDirección de correo verificada de hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeDirección de correo verificada de cam.ac.uk
- Martin KleppmannUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaDirección de correo verificada de unibo.it
- Kathryn E. GrayUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityDirección de correo verificada de pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de ed.ac.uk
- Tom RidgeIndependentDirección de correo verificada de tom-ridge.com
- Scott OwensUniversity of KentDirección de correo verificada de kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org
- Stephen KellKing's College LondonDirección de correo verificada de kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghDirección de correo verificada de hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureDirección de correo verificada de di.ens.fr
- François BobotDirección de correo verificada de bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityDirección de correo verificada de stanford.edu
Seguir
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Dirección de correo verificada de amazon.co.uk - Página principal