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
- Gordon StewartBedRock Systems, Inc.Bestätigte E-Mail-Adresse bei bedrocksystems.com
- 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
- François PottierInria ParisBestätigte E-Mail-Adresse bei inria.fr
- Pierre-Evariste DagandCNRSBestätigte E-Mail-Adresse bei evr.ist
- Tahina RamananandroMicrosoft ResearchBestätigte E-Mail-Adresse bei ramananandro.org