Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 3483 | 1756 |
h-индекс | 28 | 18 |
i10-индекс | 49 | 27 |
Публичен достъп
Преглед на всички22 статии
2 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghПотвърден имейл адрес: inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeПотвърден имейл адрес: cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckПотвърден имейл адрес: uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПотвърден имейл адрес: in.tum.de
- Michael NorrishAustralian National UniversityПотвърден имейл адрес: anu.edu.au
- Gavin BiermanOracleПотвърден имейл адрес: oracle.com
- Christine TassonMaître de conférenceПотвърден имейл адрес: irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityПотвърден имейл адрес: st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeПотвърден имейл адрес: dpmms.cam.ac.uk
- Fahad AusafKing's College LondonПотвърден имейл адрес: kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonПотвърден имейл адрес: tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonПотвърден имейл адрес: kcl.ac.uk
- Nick BentonEngineering Manager, FacebookПотвърден имейл адрес: fb.com