Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3082 | 206 |
Índice h | 32 | 6 |
Índice i10 | 72 | 4 |
Acesso público
Ver todos7 artigos
6 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mail confirmado em tecnico.ulisboa.pt
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaE-mail confirmado em tecnico.ulisboa.pt
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mail confirmado em cle.unicamp.br
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mail confirmado em unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mail confirmado em ovgu.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail confirmado em math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mail confirmado em math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeE-mail confirmado em dundee.ac.uk
- Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgE-mail confirmado em ext.uni.lu
- Hans-Dieter EhrichProfesoor emeritus of information systemsE-mail confirmado em tu-bs.de
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoE-mail confirmado em math.tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mail confirmado em kcl.ac.uk
- Helder CoelhoFaculty of Sciences, University of LisbonE-mail confirmado em di.fc.ul.pt
- Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mail confirmado em ovgu.de
- Luís Cruz-FilipeUniversity of Southern DenmarkE-mail confirmado em imada.sdu.dk
- Rohit ChadhaUniversity of MissouriE-mail confirmado em missouri.edu
- Stefan ConradProfessor für Informatik, Universität DüsseldorfE-mail confirmado em acm.org
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)E-mail confirmado em unamur.be
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoE-mail confirmado em aucegypt.edu
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonE-mail confirmado em ist.utl.pt
Seguir
Cristina Sernadas
Professor of Logic and Computation, Instituto Superior Técnico, Portugal
E-mail confirmado em tecnico.ulisboa.pt - Página inicial