Eigenes Profil erstellen
Koautoren
Damien DoligezChargé de recherches, InriaBestätigte E-Mail-Adresse bei inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesBestätigte E-Mail-Adresse bei irisa.fr
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotBestätigte E-Mail-Adresse bei dicosmo.org
Andrew W. AppelProfessor of Computer Science, Princeton UniversityBestätigte E-Mail-Adresse bei princeton.edu
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesBestätigte E-Mail-Adresse bei normalesup.org
Tom HirschowitzCNRSBestätigte E-Mail-Adresse bei univ-smb.fr
Walid TahaHalmstad UniversityBestätigte E-Mail-Adresse bei hh.se
Benjamin GregoireInria Sophia-AntipolisBestätigte E-Mail-Adresse bei inria.fr
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupBestätigte E-Mail-Adresse bei bc.edu
Christian FerdinandBestätigte E-Mail-Adresse bei absint.com
Francois RouaixPrincipal Software Engineer, MicrosoftBestätigte E-Mail-Adresse bei rouaix.org
David PichardieProfessor, ENS Rennes, FranceBestätigte E-Mail-Adresse bei inria.fr
Marc PantelAssociate Professor in Computer Science, Université de ToulouseBestätigte E-Mail-Adresse bei enseeiht.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaBestätigte E-Mail-Adresse bei unipi.it
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
Gordon StewartBedRock Systems, Inc.Bestätigte E-Mail-Adresse bei bedrocksystems.com
François PottierInria ParisBestätigte E-Mail-Adresse bei inria.fr
Tahina RamananandroMicrosoft ResearchBestätigte E-Mail-Adresse bei ramananandro.org
Pierre-Evariste DagandCNRSBestätigte E-Mail-Adresse bei evr.ist