Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Institution Researchers in the last 5 year.
20212022202320242025
InExInExInExInExInEx
Laboratório de Software Confiável (HASLab)0000000000
Total153118150145149
* In - Internal Members, Ex - External Members, ∑ - Sum of Intern+External
External   Internal
Members Types:
Internal Member - a researcher that belongs to the team. All of his/her publications count for the research unit. One researcher can only be an internal member of one research unit per year.
External Member - a researcher that has a loose connection to team, for example he can be an internal member of another research unit. From his publications, only those that have the research unit in the affiliation will be counted.
Export / Print Researcher fields

149 Team Members
Filters -> Year: 2025
Order By:
#Researcher Name
Sub Institution
Internal
Association Type
1Admilson de Ribamar Lima Ribeiro
R-00M-15D
2Adriano Novo Soto Maior
R-00M-0NA
3Alexandra Francisco Ramôa da Costa Alves
R-00M-0JB
4Alexandra Sofia Ferreira Mendes
R-00H-J2M
5Alexandre Almeida de Abreu Filho
R-00M-0RC
6Alícia Soares Oliveira
R-00M-11R
7Ana Isabel Carvalho Neri
R-00H-FFPMestrado
8Ana Luísa Parreira Nunes Alonso
R-001-NNTDoutoramento
9Ana Rita da Silva Moutinho
R-00M-0YE
10Ana Sofia Marinho Gomes
R-00M-0JY
11André da Silva Gonçalves
R-00M-0Q2
12André Manuel Resende Sequeira
R-00K-4Y8
13André Martins Pereira
R-00H-1YP
14António Luís Pinto Ferreira de Sousa
R-000-27GDoutoramento
15António Manuel Nestor Ribeiro
R-000-2AKDoutoramento
16Anwaar Hussain
R-00M-1FZ
17Beatriz Pedrosa Cepa
R-00K-VJWMestrado
18Bernardo Luís Fernandes Portela
R-00G-VZ3Doutoramento
19Bernardo Manuel Barbosa Soares
R-00M-16S
20Bruno Dias da Gião
R-00M-1FN
Results per Page: 20.
Página 1 de 8. Total de resultados: 149.