建立我自己的個人學術檔案
公開取用
查看全部4 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的電子郵件地址已通過驗證
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)在 ucm.es 的電子郵件地址已通過驗證
- Frédéric BlanquiINRIA在 inria.fr 的電子郵件地址已通過驗證
- Kokichi FUTATSUGIProfessor of Computer Science, JAIST在 jaist.ac.jp 的電子郵件地址已通過驗證
- Claude KirchnerInria在 inria.fr 的電子郵件地址已通過驗證
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf University在 agu.edu.bh 的電子郵件地址已通過驗證
- Jan Willem KlopVrije Universiteit Amsterdam在 vu.nl 的電子郵件地址已通過驗證
- Pierre LescanneProfesseur émérite à l'ENS de Lyon在 ens-lyon.fr 的電子郵件地址已通過驗證
- Pierre-Yves StrubResearch Scientist, PQShield在 strub.nu 的電子郵件地址已通過驗證
- Hubert Comon-LundhComputer Science professor, ENS Cachan在 lsv.ens-cachan.fr 的電子郵件地址已通過驗證
- Jiaxiang LIUShenzhen University在 szu.edu.cn 的電子郵件地址已通過驗證
- Maribel FernandezProfessor of Computer Science, King's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Fernando OrejasUniversitat Politècnica de Catalunya在 lsi.upc.edu 的電子郵件地址已通過驗證
- Vincent van Oostrom在 javakade.nl 的電子郵件地址已通過驗證
- Femke van RaamsdonkVU University Amsterdam在 vu.nl 的電子郵件地址已通過驗證
- Jean Goubault-Larrecq在 lsv.fr 的電子郵件地址已通過驗證
- Gérard HuetDirecteur de Recherche Emérite Inria在 inria.fr 的電子郵件地址已通過驗證
- Gérard BerryProfessor emeritus at Collège de France在 college-de-france.fr 的電子郵件地址已通過驗證
- Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Dale MillerInria-Saclay and LIX, Ecole Polytechnique在 inria.fr 的電子郵件地址已通過驗證
追蹤
Jean-Pierre Jouannaud
LSV, École Normale Supérieure de Paris-Saclay
在 lix.polytechnique.fr 的電子郵件地址已通過驗證