Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3664 | 609 |
h-indeks | 28 | 11 |
i10-indeks | 52 | 15 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesZweryfikowany adres z amazon.co.uk
- Christian UrbanKing's College LondonZweryfikowany adres z kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonZweryfikowany adres z kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalZweryfikowany adres z csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamZweryfikowany adres z cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteZweryfikowany adres z imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzZweryfikowany adres z logic.at
Obserwuj
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Zweryfikowany adres z hw.ac.uk - Strona główna