Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen9 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusBestätigte E-Mail-Adresse bei mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichBestätigte E-Mail-Adresse bei inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenBestätigte E-Mail-Adresse bei cs.ru.nl
- Xavier LeroyCollège de FranceBestätigte E-Mail-Adresse bei college-de-france.fr
- François PottierInria ParisBestätigte E-Mail-Adresse bei inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityBestätigte E-Mail-Adresse bei cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFBestätigte E-Mail-Adresse bei lri.fr
- David PichardieProfessor, ENS Rennes, FranceBestätigte E-Mail-Adresse bei inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesBestätigte E-Mail-Adresse bei irisa.fr
- Arthur CharguéraudInriaBestätigte E-Mail-Adresse bei inria.fr
- Guillaume MelquiondInria, University Paris SaclayBestätigte E-Mail-Adresse bei inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayBestätigte E-Mail-Adresse bei inria.fr
- Claude MarchéSenior Research Scientist, InriaBestätigte E-Mail-Adresse bei inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisBestätigte E-Mail-Adresse bei inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Folgen
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Bestätigte E-Mail-Adresse bei normalesup.org - Startseite