Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 31719 | 5424 |
h-индекс | 67 | 37 |
i10-индекс | 151 | 78 |
Общий доступ
Просмотреть все12 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzПодтвержден адрес электронной почты в домене cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityПодтвержден адрес электронной почты в домене bath.edu
- Glynn WinskelUniversity of CambridgeПодтвержден адрес электронной почты в домене cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityПодтвержден адрес электронной почты в домене cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeПодтвержден адрес электронной почты в домене strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceПодтвержден адрес электронной почты в домене cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityПодтвержден адрес электронной почты в домене cs.au.dk
- Luca CardelliUniversity of OxfordПодтвержден адрес электронной почты в домене cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoПодтвержден адрес электронной почты в домене cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtПодтвержден адрес электронной почты в домене mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceПодтвержден адрес электронной почты в домене cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeПодтвержден адрес электронной почты в домене dpmms.cam.ac.uk
- Rob van GlabbeekUNSWПодтвержден адрес электронной почты в домене cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsПодтвержден адрес электронной почты в домене fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaПодтвержден адрес электронной почты в домене cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchПодтвержден адрес электронной почты в домене lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityПодтвержден адрес электронной почты в домене Stanford.edu
- Andrew J. MillarUniversity of EdinburghПодтвержден адрес электронной почты в домене ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityПодтвержден адрес электронной почты в домене slcu.cam.ac.uk
Подписаться
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Подтвержден адрес электронной почты в домене inf.ed.ac.uk