Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 2174 | 1740 |
h-индекс | 19 | 18 |
i10-индекс | 24 | 24 |
Публичен достъп
Преглед на всички9 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПотвърден имейл адрес: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichПотвърден имейл адрес: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenПотвърден имейл адрес: cs.ru.nl
- Xavier LeroyCollège de FranceПотвърден имейл адрес: college-de-france.fr
- François PottierInria ParisПотвърден имейл адрес: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПотвърден имейл адрес: cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFПотвърден имейл адрес: lri.fr
- David PichardieProfessor, ENS Rennes, FranceПотвърден имейл адрес: inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesПотвърден имейл адрес: irisa.fr
- Arthur CharguéraudInriaПотвърден имейл адрес: inria.fr
- Guillaume MelquiondInria, University Paris SaclayПотвърден имейл адрес: inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayПотвърден имейл адрес: inria.fr
- Claude MarchéSenior Research Scientist, InriaПотвърден имейл адрес: inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisПотвърден имейл адрес: inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Следене
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Потвърден имейл адрес: normalesup.org - Начална страница