Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory
Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Researchers Actions
Institution Researchers in the last 5 year.
| 2021 | 2022 | 2023 | 2024 | 2025 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| In | Ex | In | Ex | In | Ex | In | Ex | In | Ex | |
| Laboratório de Software Confiável (HASLab) | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Total | 153 | 118 | 150 | 145 | 149 | |||||
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.
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
Filters -> Year: 2025
Order By:
| # | Researcher Name | ||||
|---|---|---|---|---|---|
| 81 | Leandro Rafael Moreira Gomes R-00H-1FJMestrado | ||||
| 82 | Luís Alberto Oliveira Rocha Esquível Costa R-00H-XWB | ||||
| 83 | Luís Enes Sousa R-00M-0XH | ||||
| 84 | Luís Manuel Dias Coelho Soares Barbosa R-000-9KMAgregação | ||||
| 85 | Luís Manuel Fernandes Pereira R-00M-0NE | ||||
| 86 | Luís Manuel Meruje Ferreira R-00H-J2X | ||||
| 87 | Luís Manuel Peixoto Silva R-00M-158 | ||||
| 88 | Luís Paulo Peixoto dos Santos R-000-9T8Doutoramento | ||||
| 89 | Mafalda Francisco Ramôa da Costa Alves R-00M-0JC | ||||
| 90 | Manuel Alcino Pereira da Cunha R-000-A05Doutoramento | ||||
| 91 | Manuel Bernardo Martins Barbosa R-000-A22Doutoramento | ||||
| 92 | Manuel Quintas Monteiro de Barros R-00M-0KD | ||||
| 93 | Marco Filipe Leitão Dantas R-00J-KKE | ||||
| 94 | Maria Beatriz Cardoso Gonçalves Barbosa e Moreira R-00K-4YF | ||||
| 95 | Maria João Gomes Frade R-000-BWBDoutoramento | ||||
| 96 | Maria José Costa Ramos R-00M-0KE | ||||
| 97 | Mariana Dinis Rodrigues R-00M-14S | ||||
| 98 | Mariana do Carmo Araújo Amorim R-00M-12Q | ||||
| 99 | Mariana Filipa da Silva Rodrigues R-00M-178 | ||||
| 100 | Mariana Martins de Sá Miranda R-00J-KJ1 |
