내 프로필 만들기
공개 액세스
모두 보기자료 9개
자료 6개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugaltecnico.ulisboa.pt의 이메일 확인됨
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofcle.unicamp.br의 이메일 확인됨
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's Collegekcl.ac.uk의 이메일 확인됨
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugalmath.ist.utl.pt의 이메일 확인됨
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinasunicamp.br의 이메일 확인됨
- Filipe CasalTrail of Bitstrailofbits.com의 이메일 확인됨
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboamath.ist.utl.pt의 이메일 확인됨
- Luís Cruz-FilipeUniversity of Southern Denmarkimada.sdu.dk의 이메일 확인됨
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in Cairoaucegypt.edu의 이메일 확인됨
- Nikola PaunkovicInstituto de Telecomunicaçõesmath.ist.utl.pt의 이메일 확인됨
- Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa Catarinaudesc.br의 이메일 확인됨
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de Telecomunicaçõesfc.ul.pt의 이메일 확인됨
- Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of Southamptonsoton.ac.uk의 이메일 확인됨
- Luis AlcacerInstituto de Telecomunicaçõeslx.it.pt의 이메일 확인됨
팔로우
João Rasga
Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa
tecnico.ulisboa.pt의 이메일 확인됨 - 홈페이지