Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 631 | 389 |
h-index | 13 | 11 |
i10-index | 17 | 11 |
Acces public
Afișați-le pe toate9 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKAdresă de e-mail confirmată pe hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeAdresă de e-mail confirmată pe cam.ac.uk
- Martin KleppmannUniversity of CambridgeAdresă de e-mail confirmată pe cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaAdresă de e-mail confirmată pe unibo.it
- Kathryn E. GrayUniversity of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresă de e-mail confirmată pe pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Tom RidgeIndependentAdresă de e-mail confirmată pe tom-ridge.com
- Scott OwensUniversity of KentAdresă de e-mail confirmată pe kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresă de e-mail confirmată pe kerguelen.org
- Stephen KellKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsAdresă de e-mail confirmată pe st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeAdresă de e-mail confirmată pe cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghAdresă de e-mail confirmată pe hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureAdresă de e-mail confirmată pe di.ens.fr
- François BobotAdresă de e-mail confirmată pe bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityAdresă de e-mail confirmată pe stanford.edu
Urmăriți
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Adresă de e-mail confirmată pe amazon.co.uk - Pagina de pornire