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