Mijn eigen profiel maken
Medeauteurs
- Damien DoligezChargé de recherches, InriaGeverifieerd e-mailadres voor inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesGeverifieerd e-mailadres voor irisa.fr
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityGeverifieerd e-mailadres voor princeton.edu
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotGeverifieerd e-mailadres voor dicosmo.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesGeverifieerd e-mailadres voor cnrs.fr
- Tom HirschowitzCNRSGeverifieerd e-mailadres voor univ-smb.fr
- Walid TahaHalmstad UniversityGeverifieerd e-mailadres voor hh.se
- Christian FerdinandGeverifieerd e-mailadres voor absint.com
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupGeverifieerd e-mailadres voor bc.edu
- Benjamin GregoireInria Sophia-AntipolisGeverifieerd e-mailadres voor inria.fr
- Francois RouaixPrincipal Software Engineer, MicrosoftGeverifieerd e-mailadres voor rouaix.org
- David PichardieProfessor, ENS Rennes, FranceGeverifieerd e-mailadres voor inria.fr
- Marc PantelAssociate Professor in Computer Science, Université de ToulouseGeverifieerd e-mailadres voor enseeiht.fr
- Gordon StewartBedRock Systems, Inc.Geverifieerd e-mailadres voor bedrocksystems.com
- Guillaume MelquiondInria, University Paris SaclayGeverifieerd e-mailadres voor inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayGeverifieerd e-mailadres voor inria.fr
- Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaGeverifieerd e-mailadres voor unipi.it
- François PottierInria ParisGeverifieerd e-mailadres voor inria.fr
- Pierre-Evariste DagandCNRSGeverifieerd e-mailadres voor evr.ist
- Tahina RamananandroMicrosoft ResearchGeverifieerd e-mailadres voor ramananandro.org