Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 3479 | 1752 |
h-index | 28 | 18 |
i10-indeks | 49 | 27 |
Offentlig adgang
Se alle22 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerificeret mail på inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckVerificeret mail på uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerificeret mail på in.tum.de
- Michael NorrishAustralian National UniversityVerificeret mail på anu.edu.au
- Gavin BiermanOracleVerificeret mail på oracle.com
- Christine TassonMaître de conférenceVerificeret mail på irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerificeret mail på st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerificeret mail på dpmms.cam.ac.uk
- Fahad AusafKing's College LondonVerificeret mail på kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonVerificeret mail på tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonVerificeret mail på kcl.ac.uk
- Nick BentonEngineering Manager, FacebookVerificeret mail på fb.com