Mijn eigen profiel maken
Openbare toegang
Alles bekijken9 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichGeverifieerd e-mailadres voor inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Xavier LeroyCollège de FranceGeverifieerd e-mailadres voor college-de-france.fr
- François PottierInria ParisGeverifieerd e-mailadres voor inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFGeverifieerd e-mailadres voor lri.fr
- David PichardieProfessor, ENS Rennes, FranceGeverifieerd e-mailadres voor inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesGeverifieerd e-mailadres voor irisa.fr
- Arthur CharguéraudInriaGeverifieerd e-mailadres voor inria.fr
- Guillaume MelquiondInria, University Paris SaclayGeverifieerd e-mailadres voor inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayGeverifieerd e-mailadres voor inria.fr
- Claude MarchéSenior Research Scientist, InriaGeverifieerd e-mailadres voor inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisGeverifieerd e-mailadres voor inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University