Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 5889 | 3723 |
h-індекс | 41 | 34 |
i10-індекс | 64 | 54 |
Доступні для всіх
Переглянути всі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
- Michael SammlerMPI-SWSПідтверджена електронна адреса в mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityПідтверджена електронна адреса в andrew.cmu.edu
- 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 - Домашня сторінка