Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3475 | 1748 |
indice h | 28 | 18 |
indice i10 | 49 | 27 |
Accès public
Tout afficher21 articles
2 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Gavin BiermanOracleAdresse e-mail validée de oracle.com
- Christine TassonMaître de conférenceAdresse e-mail validée de irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityAdresse e-mail validée de st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeAdresse e-mail validée de dpmms.cam.ac.uk
- Fahad AusafKing's College LondonAdresse e-mail validée de kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonAdresse e-mail validée de tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonAdresse e-mail validée de kcl.ac.uk
- Nick BentonEngineering Manager, FacebookAdresse e-mail validée de fb.com