Get my own profile
Public access
View all6 articles
3 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
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
João RasgaAssociate Professor with Habilitation, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt
Helder CoelhoFaculty of Sciences, University of LisbonVerified email at di.fc.ul.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerified email at fc.ul.pt
Yasser OmarInstituto Superior Técnico, University of Lisbon & PQI – Portuguese Quantum InstituteVerified email at pqi.pt
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Carlos A. Bana e CostaCEGIST, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Follow
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
Verified email at tecnico.ulisboa.pt - Homepage