创建我的个人资料
开放获取的出版物数量
查看全部6 篇文章
3 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal在 tecnico.ulisboa.pt 的电子邮件经过验证
- Hans-Dieter EhrichProfesoor emeritus of information systems在 tu-bs.de 的电子邮件经过验证
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal在 math.ist.utl.pt 的电子邮件经过验证
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa在 math.ist.utl.pt 的电子邮件经过验证
- José Luiz FiadeiroProfessor of Computer Science, University of Dundee在 dundee.ac.uk 的电子邮件经过验证
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior Técnico在 math.tecnico.ulisboa.pt 的电子邮件经过验证
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinas在 unicamp.br 的电子邮件经过验证
- Gunter SaakeProfessor of Computer Science, Magdeburg University在 ovgu.de 的电子邮件经过验证
- Rohit ChadhaUniversity of Missouri在 missouri.edu 的电子邮件经过验证
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College在 kcl.ac.uk 的电子邮件经过验证
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of在 cle.unicamp.br 的电子邮件经过验证
- Luís Cruz-FilipeUniversity of Southern Denmark在 imada.sdu.dk 的电子邮件经过验证
- Till MossakowskiProfessor of Computer Science, University of Magdeburg在 ovgu.de 的电子邮件经过验证
- Pedro BaltazarInstituto de Telecomunicações, Technical University of Lisbon在 ist.utl.pt 的电子邮件经过验证
- Helder CoelhoFaculty of Sciences, University of Lisbon在 di.fc.ul.pt 的电子邮件经过验证
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of Lisbon在 iseg.ulisboa.pt 的电子邮件经过验证
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de Telecomunicações在 fc.ul.pt 的电子邮件经过验证
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)在 unamur.be 的电子邮件经过验证
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
关注
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
在 tecnico.ulisboa.pt 的电子邮件经过验证 - 首页