내 프로필 만들기
공개 액세스
모두 보기자료 6개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugaltecnico.ulisboa.pt의 이메일 확인됨
- Hans-Dieter EhrichProfesoor emeritus of information systemstu-bs.de의 이메일 확인됨
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugalmath.ist.utl.pt의 이메일 확인됨
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboamath.ist.utl.pt의 이메일 확인됨
- José Luiz FiadeiroProfessor of Computer Science, University of Dundeedundee.ac.uk의 이메일 확인됨
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboatecnico.ulisboa.pt의 이메일 확인됨
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior Técnicomath.tecnico.ulisboa.pt의 이메일 확인됨
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinasunicamp.br의 이메일 확인됨
- Gunter SaakeProfessor of Computer Science, Magdeburg Universityovgu.de의 이메일 확인됨
- Rohit ChadhaUniversity of Missourimissouri.edu의 이메일 확인됨
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's Collegekcl.ac.uk의 이메일 확인됨
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofcle.unicamp.br의 이메일 확인됨
- Luís Cruz-FilipeUniversity of Southern Denmarkimada.sdu.dk의 이메일 확인됨
- Till MossakowskiProfessor of Computer Science, University of Magdeburgovgu.de의 이메일 확인됨
- Pedro BaltazarInstituto de Telecomunicações, Technical University of Lisbonist.utl.pt의 이메일 확인됨
- Helder CoelhoFaculty of Sciences, University of Lisbondi.fc.ul.pt의 이메일 확인됨
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of Lisboniseg.ulisboa.pt의 이메일 확인됨
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de Telecomunicaçõesfc.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 Lisboatecnico.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의 이메일 확인됨 - 홈페이지