Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 3668 | 613 |
indeks h | 28 | 11 |
indeks i10 | 52 | 15 |
Javni dostop
Prikaži vse2 članka
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgePreverjeni e-poštni naslov na cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesPreverjeni e-poštni naslov na amazon.co.uk
- Christian UrbanKing's College LondonPreverjeni e-poštni naslov na kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonPreverjeni e-poštni naslov na kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalPreverjeni e-poštni naslov na csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamPreverjeni e-poštni naslov na cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghPreverjeni e-poštni naslov na inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstitutePreverjeni e-poštni naslov na imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzPreverjeni e-poštni naslov na logic.at
Spremljaj
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Preverjeni e-poštni naslov na hw.ac.uk - Domača stran