Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3664 | 609 |
h-index | 28 | 11 |
i10-index | 52 | 15 |
Nyilvános hozzáférés
Összes megtekintése2 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mail megerősítve itt: amazon.co.uk
- Christian UrbanKing's College LondonE-mail megerősítve itt: kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonE-mail megerősítve itt: kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalE-mail megerősítve itt: csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamE-mail megerősítve itt: cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail megerősítve itt: inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteE-mail megerősítve itt: imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzE-mail megerősítve itt: logic.at
Követés
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
E-mail megerősítve itt: hw.ac.uk - Kezdőlap