Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 3497 | 1770 |
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