Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2154 | 1720 |
h-indeks | 19 | 18 |
i10-indeks | 24 | 24 |
Dostęp publiczny
Wyświetl wszystko9 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichZweryfikowany adres z inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Xavier LeroyCollège de FranceZweryfikowany adres z college-de-france.fr
- François PottierInria ParisZweryfikowany adres z inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFZweryfikowany adres z lri.fr
- David PichardieProfessor, ENS Rennes, FranceZweryfikowany adres z inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesZweryfikowany adres z irisa.fr
- Arthur CharguéraudInriaZweryfikowany adres z inria.fr
- Guillaume MelquiondInria, University Paris SaclayZweryfikowany adres z inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayZweryfikowany adres z inria.fr
- Claude MarchéSenior Research Scientist, InriaZweryfikowany adres z inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisZweryfikowany adres z inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Obserwuj
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Zweryfikowany adres z normalesup.org - Strona główna