Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3476 | 1749 |
Índice h | 28 | 18 |
Índice i10 | 49 | 27 |
Acesso público
Ver todos21 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail confirmado em inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckE-mail confirmado em uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
- Michael NorrishAustralian National UniversityE-mail confirmado em anu.edu.au
- Gavin BiermanOracleE-mail confirmado em oracle.com
- Christine TassonMaître de conférenceE-mail confirmado em irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityE-mail confirmado em st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mail confirmado em dpmms.cam.ac.uk
- Fahad AusafKing's College LondonE-mail confirmado em kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonE-mail confirmado em tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonE-mail confirmado em kcl.ac.uk
- Nick BentonEngineering Manager, FacebookE-mail confirmado em fb.com