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.
20162017201820192020
InExInExInExInExInEx
High-Assurance Software Laboratory (HASLab)0000000000
Total8486120112112
* 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


112 Team Members
Filters -> Year: 2020
Order By:
#Researcher Name
Sub Institution
Internal
Association Type
1Afonso Miguel Fernandes Rodrigues
R-00H-XX3
2Alberto Campinho Faria
R-00H-CZT
3Alejandro Sánchez
R-001-VG2Master
4Alexandra Martins da Silva
R-000-NF7Doctor
5Alexandra Sofia Ferreira Mendes
R-00H-J2M
6Alexandre Leite de Castro Madeira
R-001-MJPDoctor
7Alexandre Lopes Mandim da Silva
R-00H-YFY
8Ali Shoker
R-006-JREDoctor
9Ana Isabel Carvalho Neri
R-00H-FFP
10Ana Luísa Parreira Nunes Alonso
R-001-NNTDoctor
11Ana Luzia Rosas da Cruz
R-00J-763
12Ana Margarida da Silva Machado
R-00H-YKW
13Ana Rita Jesus Costa
R-00J-296
14André Filipe Faria dos Santos
R-00G-XC2Master
15Anisa Allahdadidastjerdi
R-001-07JMaster
16António Luís Pinto Ferreira de Sousa
R-000-27GDoctor
17António Manuel Nestor Ribeiro
R-000-2AKDoctor
18Bernardo Luís Fernandes Portela
R-00G-VZ3Master
19Bruno Miguel de Sousa Cancelinha
R-00H-XY4
20Bruno Renato Fernandes Carvalho
R-00H-XWK
Results per Page: 20.
Page 1 of 6. Total results: 112.