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
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
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
Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFBestätigte E-Mail-Adresse bei lri.fr
Arthur CharguéraudInriaBestä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