Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 4628 | 2108 |
indice h | 34 | 19 |
indice i10 | 62 | 34 |
Accès public
Tout afficher32 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 MelbourneAdresse e-mail validée de unimelb.edu.au
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 TassonProfessorAdresse e-mail validée de isae-supaero.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