Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Xavier LeroyCollège de FranceVerifierad e-postadress på college-de-france.fr
- François PottierInria ParisVerifierad e-postadress på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFVerifierad e-postadress på lri.fr
- David PichardieProfessor, ENS Rennes, FranceVerifierad e-postadress på inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesVerifierad e-postadress på irisa.fr
- Arthur CharguéraudInriaVerifierad e-postadress på inria.fr
- Guillaume MelquiondInria, University Paris SaclayVerifierad e-postadress på inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayVerifierad e-postadress på inria.fr
- Claude MarchéSenior Research Scientist, InriaVerifierad e-postadress på inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisVerifierad e-postadress på inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University