Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 7827 | 1601 |
Índice h | 40 | 19 |
Índice i10 | 67 | 33 |
Acceso público
Ver todo8 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKDirección de correo verificada de hw.ac.uk
- Ian OrtonUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- Gavin BiermanOracleDirección de correo verificada de oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
- Christian UrbanKing's College LondonDirección de correo verificada de kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceDirección de correo verificada de cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Dan LicataWesleyan UniversityDirección de correo verificada de wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityDirección de correo verificada de anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenDirección de correo verificada de itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenDirección de correo verificada de itu.dk
- Roy CroleAssociate Professor, University of LeicesterDirección de correo verificada de le.ac.uk
- Matthew LakinUniversity of New MexicoDirección de correo verificada de cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchDirección de correo verificada de microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityDirección de correo verificada de chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghDirección de correo verificada de ed.ac.uk
Seguir
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Dirección de correo verificada de cl.cam.ac.uk - Página principal