Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 3668 | 613 |
h-index | 28 | 11 |
i10-indeks | 52 | 15 |
Offentlig adgang
Se alle2 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerificeret mail på amazon.co.uk
- Christian UrbanKing's College LondonVerificeret mail på kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerificeret mail på kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalVerificeret mail på csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerificeret mail på cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerificeret mail på inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteVerificeret mail på imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVerificeret mail på logic.at
Følg
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Verificeret mail på hw.ac.uk - Startside