Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichCorreu electrònic verificat a inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenCorreu electrònic verificat a cs.ru.nl
- Xavier LeroyCollège de FranceCorreu electrònic verificat a college-de-france.fr
- François PottierInria ParisCorreu electrònic verificat a inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFCorreu electrònic verificat a lri.fr
- David PichardieProfessor, ENS Rennes, FranceCorreu electrònic verificat a inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesCorreu electrònic verificat a irisa.fr
- Arthur CharguéraudInriaCorreu electrònic verificat a inria.fr
- Guillaume MelquiondInria, University Paris SaclayCorreu electrònic verificat a inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayCorreu electrònic verificat a inria.fr
- Claude MarchéSenior Research Scientist, InriaCorreu electrònic verificat a inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisCorreu electrònic verificat a inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Segueix
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Correu electrònic verificat a normalesup.org - Pàgina d'inici