创建我的个人资料
开放获取的出版物数量
查看全部26 篇文章
6 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal在 tecnico.ulisboa.pt 的电子邮件经过验证
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College在 kcl.ac.uk 的电子邮件经过验证
- David BasinProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
- Joao MarcosFederal University of Santa Catarina (UFSC), Brazil在 dimap.ufrn.br 的电子邮件经过验证
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of在 cle.unicamp.br 的电子邮件经过验证
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and Technology在 fct.unl.pt 的电子邮件经过验证
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinas在 unicamp.br 的电子邮件经过验证
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal在 math.ist.utl.pt 的电子邮件经过验证
- Marco VolpeUniversity of Leicester在 leicester.ac.uk 的电子邮件经过验证
- Hans-Dieter EhrichProfesoor emeritus of information systems在 tu-bs.de 的电子邮件经过验证
- Till MossakowskiProfessor of Computer Science, University of Magdeburg在 ovgu.de 的电子邮件经过验证
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
- Gunter SaakeProfessor of Computer Science, Magdeburg University在 ovgu.de 的电子邮件经过验证