Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 2184 | 1751 |
h-rodyklė | 19 | 18 |
i10-rodyklė | 24 | 24 |
Viešas pasiekiamumas
Peržiūrėti viską9 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPatvirtintas el. paštas mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichPatvirtintas el. paštas inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenPatvirtintas el. paštas cs.ru.nl
- Xavier LeroyCollège de FrancePatvirtintas el. paštas college-de-france.fr
- François PottierInria ParisPatvirtintas el. paštas inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFPatvirtintas el. paštas lri.fr
- David PichardieProfessor, ENS Rennes, FrancePatvirtintas el. paštas inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesPatvirtintas el. paštas irisa.fr
- Arthur CharguéraudInriaPatvirtintas el. paštas inria.fr
- Guillaume MelquiondInria, University Paris SaclayPatvirtintas el. paštas inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayPatvirtintas el. paštas inria.fr
- Claude MarchéSenior Research Scientist, InriaPatvirtintas el. paštas inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisPatvirtintas el. paštas inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Stebėti
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Patvirtintas el. paštas normalesup.org - Pagrindinis puslapis