Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 631 | 389 |
h-rodyklė | 13 | 11 |
i10-rodyklė | 17 | 11 |
Viešas pasiekiamumas
Peržiūrėti viską9 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKPatvirtintas el. paštas hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgePatvirtintas el. paštas cam.ac.uk
- Martin KleppmannUniversity of CambridgePatvirtintas el. paštas cam.ac.uk
- Victor GomesResearch Associate, University of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaPatvirtintas el. paštas unibo.it
- Kathryn E. GrayUniversity of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityPatvirtintas el. paštas pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghPatvirtintas el. paštas ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghPatvirtintas el. paštas ed.ac.uk
- Tom RidgeIndependentPatvirtintas el. paštas tom-ridge.com
- Scott OwensUniversity of KentPatvirtintas el. paštas kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHPatvirtintas el. paštas kerguelen.org
- Stephen KellKing's College LondonPatvirtintas el. paštas kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsPatvirtintas el. paštas st-andrews.ac.uk
- Christopher PulteUniversity of CambridgePatvirtintas el. paštas cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghPatvirtintas el. paštas hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieurePatvirtintas el. paštas di.ens.fr
- François BobotPatvirtintas el. paštas bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityPatvirtintas el. paštas stanford.edu
Stebėti
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Patvirtintas el. paštas amazon.co.uk - Pagrindinis puslapis