建立我自己的個人學術檔案
公開取用
查看全部7 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)在 lmf.cnrs.fr 的電子郵件地址已通過驗證
- Jules VillardImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Martin LangeProfessor of Computer Science, University of Kassel在 uni-kassel.de 的電子郵件地址已通過驗證
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))在 univ-cotedazur.fr 的電子郵件地址已通過驗證
- Davide SangiorgiProfessor of Computer Science, University of Bologna在 cs.unibo.it 的電子郵件地址已通過驗證
- Laetitia LaversaPostdoc, INRAE在 inrae.fr 的電子郵件地址已通過驗證
- Alain FinkelLSV ENS Paris Saclay在 lsv.fr 的電子郵件地址已通過驗證
- Florian BruseUniversity of Kassel在 uni-kassel.de 的電子郵件地址已通過驗證
- Alessio MansuttiIMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的電子郵件地址已通過驗證
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, Italy在 unige.it 的電子郵件地址已通過驗證
- Naoki KobayashiThe University of Tokyo在 is.s.u-tokyo.ac.jp 的電子郵件地址已通過驗證
- Kshitij Bansalkshitij.io在 kshitij.io 的電子郵件地址已通過驗證
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay在 lsv.ens-cachan.fr 的電子郵件地址已通過驗證
- Amrita SureshPhD student, ENS Paris Saclay在 ens-paris-saclay.fr 的電子郵件地址已通過驗證
- Florent JacquemardInria在 inria.fr 的電子郵件地址已通過驗證
- ludovic henrioCNRS在 ens-lyon.fr 的電子郵件地址已通過驗證