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
101Mariana Martins de Sá Miranda
R-00J-KJ1
102Matilde Oliveira Pizarro Bravo
R-00M-148
103Micaella Coelho Valente de Paula
R-00M-1CD
104Michael de Oliveira
R-00H-XWH
105Michel Albonico
R-00M-1FB
106Miguel José Dias Peixoto
R-00M-0MB
107Nico Maximilian Wittrock
R-00M-14P
108Norihiro Yamada
R-00M-0R0
109Nuno de Ferraz Almeida e Peixoto Machado
R-001-TYGDoutoramento
110Nuno Filipe Moreira Macedo
R-001-TJDDoutoramento
111Nuno Filipe Pinto Faria
R-00J-KKJ
112Olga Maria Gomes Martins Pacheco
R-000-DWZDoutoramento
113Óscar Francisco Godinho Pereira
R-00G-VYZMestrado
114Paula Cristina Pereira Rodrigues
R-00H-2PFLicenciatura
115Paulo Jorge de Sousa Azevedo
R-000-EDFAgregação
116Paulo Sérgio Soares de Almeida
R-000-EM4Doutoramento
117Pedro Alexandre Coutinho Gonçalves de Sousa
R-00M-13X
118Pedro Faria Durães da Silva
R-00M-0HX
119Pedro Miguel Braga Moreira
R-00J-KK8
120Pedro Miguel de Leal Meireles Pereira
R-00M-0RD
Results per Page: 20.
Página 6 de 8. Total de resultados: 150.