Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3665 | 610 |
Índice h | 28 | 11 |
Índice i10 | 52 | 15 |
Acesso público
Ver todos2 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mail confirmado em amazon.co.uk
- Christian UrbanKing's College LondonE-mail confirmado em kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonE-mail confirmado em kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalE-mail confirmado em csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamE-mail confirmado em cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail confirmado em inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteE-mail confirmado em imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzE-mail confirmado em logic.at
Seguir
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
E-mail confirmado em hw.ac.uk - Página inicial