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.
20202021202220232024
InExInExInExInExInEx
Laboratório de Software Confiável (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
121Pedro Miguel Marques Ferreira
R-00M-103
122Pedro Miguel Moreira Ferreira
R-00J-KK9
123Rafael Braga Gomes da Costa
R-00J-KPY
124Rahma Nouaji
R-00M-1E0
125Renato André Araújo Azevedo
R-00M-0P2
126Renato Jorge Araújo Neves
R-006-JRCMestrado
127Ricardo Filipe da Costa Alexandre Conceição Silva
R-00H-71Y
128Ricardo Gonçalves Macedo
R-00H-6WMDoutoramento
129Ricardo José Menezes Maia
R-00M-1D8
130Ricardo Manuel Pereira Vilaça
R-001-K84Doutoramento
131Ricardo Santos Morla
R-000-FFNDoutoramento
132Rogério António da Costa Pontes
R-00G-VYXMestrado
133Rúben Daniel Almeida Adão
R-00K-4YJ
134Rui Alexandre Afonso Pereira
R-00F-EJPDoutoramento
135Rui António Ramada Rua
R-00H-6WVLicenciatura
136Rui Carlos Azevedo Carvalho
R-00M-0WE
137Rui Carlos Mendes de Oliveira
R-000-FSQDoutoramento
138Rui Miguel Borges Braga
R-00M-15E
139Rui Pedro da Cunha Monteiro
R-00K-51F
140Rui Pedro Esteves Vasques Correia de Oliveira
R-00M-0N2
Results per Page: 20.
Página 7 de 8. Total de resultados: 150.