Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 7827 | 1601 |
indice h | 40 | 19 |
indice i10 | 67 | 33 |
Accès public
Tout afficher8 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKAdresse e-mail validée de hw.ac.uk
- Ian OrtonUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- Gavin BiermanOracleAdresse e-mail validée de oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeAdresse e-mail validée de dpmms.cam.ac.uk
- Christian UrbanKing's College LondonAdresse e-mail validée de kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceAdresse e-mail validée de cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Dan LicataWesleyan UniversityAdresse e-mail validée de wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityAdresse e-mail validée de anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenAdresse e-mail validée de itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenAdresse e-mail validée de itu.dk
- Roy CroleAssociate Professor, University of LeicesterAdresse e-mail validée de le.ac.uk
- Matthew LakinUniversity of New MexicoAdresse e-mail validée de cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityAdresse e-mail validée de chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghAdresse e-mail validée de ed.ac.uk
Suivre
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Adresse e-mail validée de cl.cam.ac.uk - Page d'accueil