Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 153 | 31 |
h-index | 7 | 3 |
i10-index | 6 | 1 |
Nyilvános hozzáférés
Összes megtekintése1 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail megerősítve itt: math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaE-mail megerősítve itt: di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriE-mail megerősítve itt: missouri.edu
- Hugo Torres VieiraEvidence SrlE-mail megerősítve itt: evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaE-mail megerősítve itt: tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityE-mail megerősítve itt: mdx.ac.uk
- Dimitris MostrousE-mail megerősítve itt: di.fc.ul.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mail megerősítve itt: tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mail megerősítve itt: math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoE-mail megerősítve itt: math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mail megerősítve itt: tecnico.ulisboa.pt
Követés
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
E-mail megerősítve itt: ist.utl.pt - Kezdőlap