建立我自己的個人學術檔案
共同作者
- Damien DoligezChargé de recherches, Inria在 inria.fr 的電子郵件地址已通過驗證
- Sandrine BlazyProfessor of Computer Science, University of Rennes在 irisa.fr 的電子郵件地址已通過驗證
- Roberto Di CosmoProfessor of Computer Science, University Paris Diderot在 dicosmo.org 的電子郵件地址已通過驗證
- Andrew W. AppelProfessor of Computer Science, Princeton University在 princeton.edu 的電子郵件地址已通過驗證
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的電子郵件地址已通過驗證
- Tom HirschowitzCNRS在 univ-smb.fr 的電子郵件地址已通過驗證
- Walid TahaHalmstad University在 hh.se 的電子郵件地址已通過驗證
- Benjamin GregoireInria Sophia-Antipolis在 inria.fr 的電子郵件地址已通過驗證
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group在 bc.edu 的電子郵件地址已通過驗證
- Christian Ferdinand在 absint.com 的電子郵件地址已通過驗證
- Francois RouaixPrincipal Software Engineer, Microsoft在 rouaix.org 的電子郵件地址已通過驗證
- David PichardieProfessor, ENS Rennes, France在 inria.fr 的電子郵件地址已通過驗證
- Marc PantelAssociate Professor in Computer Science, Université de Toulouse在 enseeiht.fr 的電子郵件地址已通過驗證
- Gordon StewartBedRock Systems, Inc.在 bedrocksystems.com 的電子郵件地址已通過驗證
- Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of Pisa在 unipi.it 的電子郵件地址已通過驗證
- Guillaume MelquiondInria, University Paris Saclay在 inria.fr 的電子郵件地址已通過驗證
- Sylvie BoldoInria, LMF, University Paris Saclay在 inria.fr 的電子郵件地址已通過驗證
- François PottierInria Paris在 inria.fr 的電子郵件地址已通過驗證
- Pierre-Evariste DagandCNRS在 evr.ist 的電子郵件地址已通過驗證
- Tahina RamananandroMicrosoft Research在 ramananandro.org 的電子郵件地址已通過驗證