Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2154 | 1720 |
Índice h | 19 | 18 |
Índice i10 | 24 | 24 |
Acesso público
Ver todos9 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail confirmado em mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mail confirmado em inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Xavier LeroyCollège de FranceE-mail confirmado em college-de-france.fr
- François PottierInria ParisE-mail confirmado em inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFE-mail confirmado em lri.fr
- David PichardieProfessor, ENS Rennes, FranceE-mail confirmado em inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesE-mail confirmado em irisa.fr
- Arthur CharguéraudInriaE-mail confirmado em inria.fr
- Guillaume MelquiondInria, University Paris SaclayE-mail confirmado em inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayE-mail confirmado em inria.fr
- Claude MarchéSenior Research Scientist, InriaE-mail confirmado em inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisE-mail confirmado em inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Seguir
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
E-mail confirmado em normalesup.org - Página inicial