Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2172 | 1738 |
h-index | 19 | 18 |
i10-index | 24 | 24 |
Acces public
Afișați-le pe toate9 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Xavier LeroyCollège de FranceAdresă de e-mail confirmată pe college-de-france.fr
- François PottierInria ParisAdresă de e-mail confirmată pe inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFAdresă de e-mail confirmată pe lri.fr
- David PichardieProfessor, ENS Rennes, FranceAdresă de e-mail confirmată pe inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesAdresă de e-mail confirmată pe irisa.fr
- Arthur CharguéraudInriaAdresă de e-mail confirmată pe inria.fr
- Guillaume MelquiondInria, University Paris SaclayAdresă de e-mail confirmată pe inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayAdresă de e-mail confirmată pe inria.fr
- Claude MarchéSenior Research Scientist, InriaAdresă de e-mail confirmată pe inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisAdresă de e-mail confirmată pe inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Urmăriți
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Adresă de e-mail confirmată pe normalesup.org - Pagina de pornire