Get my own profile
Public access
View all27 articles
6 articles
available
not available
Based on funding mandates
Co-authors
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
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerified email at ufsc.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerified email at fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Marco VolpeUniversity of LeicesterVerified email at leicester.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
João RasgaAssociate Professor with Habilitation, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de