Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 153 | 31 |
indice h | 7 | 3 |
indice i10 | 6 | 1 |
Accès public
Tout afficher1 article
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresse e-mail validée de math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresse e-mail validée de di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriAdresse e-mail validée de missouri.edu
- Hugo Torres VieiraEvidence SrlAdresse e-mail validée de evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityAdresse e-mail validée de mdx.ac.uk
- Dimitris MostrousAdresse e-mail validée de di.fc.ul.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaAdresse e-mail validée de math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoAdresse e-mail validée de math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
Suivre
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Adresse e-mail validée de ist.utl.pt - Page d'accueil