创建我的个人资料
开放获取的出版物数量
查看全部14 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
- Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
- Ivan LaneseUniversity of Bologna在 unibo.it 的电子邮件经过验证
- Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
- Mila Dalla PredaUniversity of Verona, Italy在 univr.it 的电子邮件经过验证
- Fabrizio MontesiProfessor of Computer Science, University of Southern Denmark在 imada.sdu.dk 的电子邮件经过验证
- Giorgio DelzannoAssociate Professor, Università di Genova在 unige.it 的电子邮件经过验证
- Kim MarriottProfessor, Monash University在 monash.edu 的电子邮件经过验证
- Elena MarchioriRadboud University在 cs.ru.nl 的电子邮件经过验证
- Krzysztof R. AptCWI fellow, CWI , The Netherlands在 cwi.nl 的电子邮件经过验证
- Stefano BistarelliFull professor of Computer Science at University of Perugia在 unipg.it 的电子邮件经过验证
- Francesco SantiniDipartimento Matematica e Informatica, Perugia在 dmi.unipg.it 的电子邮件经过验证
- Dino PedreschiProfessor of Computer Science, University of Pisa在 di.unipi.it 的电子邮件经过验证
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)在 vrain.upv.es 的电子邮件经过验证
- Frank D. ValenciaCNRS, École Polytechnique de Paris在 lix.polytechnique.fr 的电子邮件经过验证
- Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)在 math.unipd.it 的电子邮件经过验证
- Daniele TuriCTO, HSS Proservice