Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 627 | 385 |
h-indeks | 13 | 11 |
i10-indeks | 17 | 11 |
Dostęp publiczny
Wyświetl wszystko9 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKZweryfikowany adres z hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeZweryfikowany adres z cam.ac.uk
- Martin KleppmannUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaZweryfikowany adres z unibo.it
- Kathryn E. GrayUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityZweryfikowany adres z pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z ed.ac.uk
- Tom RidgeIndependentZweryfikowany adres z tom-ridge.com
- Scott OwensUniversity of KentZweryfikowany adres z kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHZweryfikowany adres z kerguelen.org
- Stephen KellKing's College LondonZweryfikowany adres z kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsZweryfikowany adres z st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghZweryfikowany adres z hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureZweryfikowany adres z di.ens.fr
- François BobotZweryfikowany adres z bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityZweryfikowany adres z stanford.edu
Obserwuj
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Zweryfikowany adres z amazon.co.uk - Strona główna