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

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Institution Researchers in the last 5 year.
20202021202220232024
InExInExInExInExInEx
High-Assurance Software Laboratory (HASLab)0000000000
Total118153118150150
* 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

150 Team Members
Filters -> Year: 2024
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 Abreu
R-00M-0RC
6Alexandre Leite de Castro Madeira
R-001-MJPDoctor
7Alícia Soares Oliveira
R-00M-11R
8Ana Isabel Carvalho Neri
R-00H-FFPMaster
9Ana Luísa Parreira Nunes Alonso
R-001-NNTDoctor
10Ana Rita da Silva Moutinho
R-00M-0YE
11Ana Sofia Marinho Gomes
R-00M-0JY
12André da Silva Gonçalves
R-00M-0Q2
13André Manuel Resende Sequeira
R-00K-4Y8
14André Martins Pereira
R-00H-1YP
15António Luís Pinto Ferreira de Sousa
R-000-27GDoctor
16António Manuel Nestor Ribeiro
R-000-2AKDoctor
17Anwaar Hussain
R-00M-1FZ
18Beatriz Pedrosa Cepa
R-00K-VJWMaster
19Bernardo Luís Fernandes Portela
R-00G-VZ3Doctor
20Bernardo Manuel Barbosa Soares
R-00M-16S
Results per Page: 20.
Page 1 of 8. Total results: 150.