Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 810 | 730 |
h-индекс | 15 | 14 |
i10-индекс | 18 | 17 |
Общий доступ
Просмотреть все25 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПодтвержден адрес электронной почты в домене cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenПодтвержден адрес электронной почты в домене cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenПодтвержден адрес электронной почты в домене cs.kuleuven.be
- Dominique DevrieseKU LeuvenПодтвержден адрес электронной почты в домене kuleuven.be
- Leo StefanescoMPI-SWSПодтвержден адрес электронной почты в домене mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkПодтвержден адрес электронной почты в домене cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityПодтвержден адрес электронной почты в домене nyu.edu
- Aïna Linn GeorgesAarhus UniversityПодтвержден адрес электронной почты в домене mpi-sws.org
- Alix TrieuANSSIПодтвержден адрес электронной почты в домене ssi.gouv.fr
- Abel NietoGroqПодтвержден адрес электронной почты в домене groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПодтвержден адрес электронной почты в домене mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Rodolphe LepigreMPI-SWSПодтвержден адрес электронной почты в домене mpi-sws.org
- Marianna RapoportUniversity of WaterlooПодтвержден адрес электронной почты в домене uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselПодтвержден адрес электронной почты в домене vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesПодтвержден адрес электронной почты в домене normalesup.org
- Arthur CharguéraudInriaПодтвержден адрес электронной почты в домене inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityПодтвержден адрес электронной почты в домене nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSПодтвержден адрес электронной почты в домене inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Подтвержден адрес электронной почты в домене tudelft.nl