High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Researchers Actions
Institution Researchers in the last 5 year.
| 2020 | 2021 | 2022 | 2023 | 2024 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| In | Ex | In | Ex | In | Ex | In | Ex | In | Ex | |
| High-Assurance Software Laboratory (HASLab) | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Total | 118 | 153 | 118 | 150 | 150 | |||||
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
150 Team Members
Filters -> Year: 2024
Filters -> Year: 2024
Order By:
| # | Researcher Name | ||||
|---|---|---|---|---|---|
| 61 | João Pedro Oliveira Meira R-00K-51E | ||||
| 62 | João Pedro Rodrigues Azevedo R-00K-54K | ||||
| 63 | João Ribeiro Imperadeiro R-00M-15F | ||||
| 64 | João Tiago de Medeiros Paulo R-001-QJWDoctor | ||||
| 65 | Jorge Miguel de Matos Sousa Pinto R-000-7W9Habilitation | ||||
| 66 | José Bernardo dos Santos Monteiro Vieira de Barros R-000-853Doctor | ||||
| 67 | José Carlos Bacelar Ferreira Junqueira de Almeida R-000-85NDoctor | ||||
| 68 | José Eduardo Pina de Miranda R-00G-VZ0Master | ||||
| 69 | José Emanuel Silva Rodrigues R-00M-0JA | ||||
| 70 | José Francisco Creissac Freitas de Campos R-000-8B9Habilitation | ||||
| 71 | José Manuel Esgalhado Valença R-000-8JSHabilitation | ||||
| 72 | José Miguel Paiva Proença R-006-JRFDoctor | ||||
| 73 | José Nuno Castro de Macedo R-00H-751Licentiate | ||||
| 74 | José Nuno Fonseca Oliveira R-000-8SFHabilitation | ||||
| 75 | José Orlando Roque Nascimento Pereira R-000-8SQDoctor | ||||
| 76 | José Pedro Dias Nascimento Fernandes R-00M-12R | ||||
| 77 | José Pedro Ribeiro Peixoto R-00K-4YD | ||||
| 78 | Juliana Andreia Marques Prazeres da Cunha R-00M-0ZQ | ||||
| 79 | Juliana Patrício de Souza R-00M-0JK | ||||
| 80 | Kary Ann Del Carmen Ocaña Gautherot R-00M-1FJ |
