Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2157 | 1723 |
Índice h | 19 | 18 |
Índice i10 | 24 | 24 |
Acceso público
Ver todo9 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichDirección de correo verificada de inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Xavier LeroyCollège de FranceDirección de correo verificada de college-de-france.fr
- François PottierInria ParisDirección de correo verificada de inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFDirección de correo verificada de lri.fr
- David PichardieProfessor, ENS Rennes, FranceDirección de correo verificada de inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesDirección de correo verificada de irisa.fr
- Arthur CharguéraudInriaDirección de correo verificada de inria.fr
- Guillaume MelquiondInria, University Paris SaclayDirección de correo verificada de inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayDirección de correo verificada de inria.fr
- Claude MarchéSenior Research Scientist, InriaDirección de correo verificada de inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisDirección de correo verificada de inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Seguir
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Dirección de correo verificada de normalesup.org - Página principal