Institutions

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

* In - Internal Members, Ex - External Members, ∑ - Sum of Intern+External

Name:

Degree:

Members:

External Internal

Association:

Year:

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.