Crea il mio profilo
Coautori
- Damien DoligezChargé de recherches, InriaEmail verificata su inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesEmail verificata su irisa.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotEmail verificata su dicosmo.org
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityEmail verificata su princeton.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Tom HirschowitzCNRSEmail verificata su univ-smb.fr
- Walid TahaHalmstad UniversityEmail verificata su hh.se
- Benjamin GregoireInria Sophia-AntipolisEmail verificata su inria.fr
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupEmail verificata su bc.edu
- Christian FerdinandEmail verificata su absint.com
- Francois RouaixPrincipal Software Engineer, MicrosoftEmail verificata su rouaix.org
- David PichardieProfessor, ENS Rennes, FranceEmail verificata su inria.fr
- Marc PantelAssociate Professor in Computer Science, Université de ToulouseEmail verificata su enseeiht.fr
- Gordon StewartBedRock Systems, Inc.Email verificata su bedrocksystems.com
- Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaEmail verificata su unipi.it
- Guillaume MelquiondInria, University Paris SaclayEmail verificata su inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayEmail verificata su inria.fr
- François PottierInria ParisEmail verificata su inria.fr
- Pierre-Evariste DagandCNRSEmail verificata su evr.ist
- Tahina RamananandroMicrosoft ResearchEmail verificata su ramananandro.org