Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3429 | 1703 |
Índice h | 28 | 18 |
Índice i10 | 49 | 27 |
Acceso público
Ver todo21 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
- Gavin BiermanOracleDirección de correo verificada de oracle.com
- Christine TassonMaître de conférenceDirección de correo verificada de irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
- Fahad AusafKing's College LondonDirección de correo verificada de kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonDirección de correo verificada de tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonDirección de correo verificada de kcl.ac.uk
- Nick BentonEngineering Manager, FacebookDirección de correo verificada de fb.com