Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
6 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifierad e-postadress på tecnico.ulisboa.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerifierad e-postadress på cle.unicamp.br
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerifierad e-postadress på kcl.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerifierad e-postadress på unicamp.br
- Filipe CasalTrail of BitsVerifierad e-postadress på trailofbits.com
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerifierad e-postadress på math.ist.utl.pt
- Luís Cruz-FilipeUniversity of Southern DenmarkVerifierad e-postadress på imada.sdu.dk
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoVerifierad e-postadress på aucegypt.edu
- Nikola PaunkovicInstituto de TelecomunicaçõesVerifierad e-postadress på math.ist.utl.pt
- Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa CatarinaVerifierad e-postadress på udesc.br
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerifierad e-postadress på fc.ul.pt
- Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonVerifierad e-postadress på soton.ac.uk
- Luis AlcacerInstituto de TelecomunicaçõesVerifierad e-postadress på lx.it.pt
Följ
João Rasga
Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa
Verifierad e-postadress på tecnico.ulisboa.pt - Startsida