Crea il mio profilo
Accesso pubblico
Visualizza tutto9 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Xavier LeroyCollège de FranceEmail verificata su college-de-france.fr
- François PottierInria ParisEmail verificata su inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFEmail verificata su lri.fr
- David PichardieProfessor, ENS Rennes, FranceEmail verificata su inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesEmail verificata su irisa.fr
- Arthur CharguéraudInriaEmail verificata su inria.fr
- Guillaume MelquiondInria, University Paris SaclayEmail verificata su inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayEmail verificata su inria.fr
- Claude MarchéSenior Research Scientist, InriaEmail verificata su inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisEmail verificata su inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University