Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 5787 | 3615 |
h-индекс | 40 | 33 |
i10-индекс | 62 | 52 |
Общий доступ
Просмотреть все35 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПодтвержден адрес электронной почты в домене cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenПодтвержден адрес электронной почты в домене cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Подтвержден адрес электронной почты в домене mpi-sws.org
- Chung-Kil HurSeoul National UniversityПодтвержден адрес электронной почты в домене sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesПодтвержден адрес электронной почты в домене normalesup.org
- Hai DangBedRock Systems. IncПодтвержден адрес электронной почты в домене mpi-sws.org
- Aaron TuronMPI-SWSПодтвержден адрес электронной почты в домене mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingПодтвержден адрес электронной почты в домене kaist.ac.kr
- Amal AhmedNortheastern UniversityПодтвержден адрес электронной почты в домене ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене andrew.cmu.edu
- Michael SammlerMPI-SWSПодтвержден адрес электронной почты в домене mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumПодтвержден адрес электронной почты в домене alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeПодтвержден адрес электронной почты в домене cl.cam.ac.uk
- Ori LahavTel Aviv UniversityПодтвержден адрес электронной почты в домене tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechПодтвержден адрес электронной почты в домене mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Подтвержден адрес электронной почты в домене mpi-sws.org
- Karl CraryCarnegie Mellon UniversityПодтвержден адрес электронной почты в домене cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Подтвержден адрес электронной почты в домене mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteПодтвержден адрес электронной почты в домене imdea.org
Подписаться
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Подтвержден адрес электронной почты в домене mpi-sws.org - Главная страница