Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 812 | 732 |
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