创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证