Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3819 | 253 |
Índice h | 35 | 8 |
Índice i10 | 89 | 6 |
Acceso público
Ver todo6 artículos
3 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalDirección de correo verificada de tecnico.ulisboa.pt
- Hans-Dieter EhrichProfesoor emeritus of information systemsDirección de correo verificada de tu-bs.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalDirección de correo verificada de math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaDirección de correo verificada de math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeDirección de correo verificada de dundee.ac.uk
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaDirección de correo verificada de tecnico.ulisboa.pt
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoDirección de correo verificada de math.tecnico.ulisboa.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasDirección de correo verificada de unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityDirección de correo verificada de ovgu.de
- Rohit ChadhaUniversity of MissouriDirección de correo verificada de missouri.edu
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeDirección de correo verificada de kcl.ac.uk
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofDirección de correo verificada de cle.unicamp.br
- Luís Cruz-FilipeUniversity of Southern DenmarkDirección de correo verificada de imada.sdu.dk
- Till MossakowskiProfessor of Computer Science, University of MagdeburgDirección de correo verificada de ovgu.de
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonDirección de correo verificada de ist.utl.pt
- Helder CoelhoFaculty of Sciences, University of LisbonDirección de correo verificada de di.fc.ul.pt
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonDirección de correo verificada de iseg.ulisboa.pt
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesDirección de correo verificada de fc.ul.pt
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Dirección de correo verificada de unamur.be
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Seguir
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
Dirección de correo verificada de tecnico.ulisboa.pt - Página principal