Get my own profile
Public access
View all10 articles
6 articles
available
not available
Based on funding mandates
Co-authors
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Jaime RamosInstituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Filipe CasalTrail of BitsVerified email at trailofbits.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoVerified email at aucegypt.edu
Nikola PaunkovicInstituto de TelecomunicaçõesVerified email at math.ist.utl.pt
Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Karina RoggiaUniversidade do Estado de Santa CatarinaVerified email at udesc.br
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerified email at fc.ul.pt
Luis AlcacerInstituto de TelecomunicaçõesVerified email at lx.it.pt
Follow
João Rasga
Associate Professor with Habilitation, Instituto Superior Técnico, U Lisboa
Verified email at tecnico.ulisboa.pt - Homepage