High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
Publications Count: 1241112 Team Members
Filters -> Year: 2020
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183, PUBLISHED: 1995
AUTHORS: Long, J; Inoue, H; Kato, T; Miyake, N; Green, T; Harrison, M ; Pollitzer, E;
SOURCE: Advances in Human Factors/Ergonomics, VOLUME: 20, ISSUE: C, PAGES: 199-204, PUBLISHED: 1995
AUTHORS: Fields, RE; Wright, PC; Harrison, MD ;
SOURCE: Proceedings of the 2nd IEEE International Symposium on Requirements Engineering in Proceedings of the IEEE International Conference on Requirements Engineering, PAGES: 18-26, PUBLISHED: 1995
AUTHORS: Blandford, AE; Barnard, PJ; Harrison, MD ;
SOURCE: International Journal of Human - Computer Studies, VOLUME: 43, ISSUE: 1, PAGES: 101-130, PUBLISHED: 1995
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
SOURCE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PAGES: 420-436, PUBLISHED: 1994
AUTHORS: Peter Wright; Bob Fields; Michael Harrison ;
SOURCE: Proceedings of the 1st International Conference on Requirements Engineering in Proceedings of the International Conference on Requirements Engineering, PAGES: 135-142, PUBLISHED: 1994
AUTHORS: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 739-740, PUBLISHED: 1994
AUTHORS: Johnson, CW; Harrison, MD ;
SOURCE: International Journal of Man-Machine Studies, VOLUME: 37, ISSUE: 3, PAGES: 357-385, PUBLISHED: 1992
AUTHORS: Hammond, N; Barnard, P; Coutaz, J; Harrison, M ; MacLean, A; Young, RM;
SOURCE: 1991 SIGCHI Conference on Human Factors in Computing Systems, CHI 1991 in Conference on Human Factors in Computing Systems - Proceedings, PAGES: 377-380, PUBLISHED: 1991
AUTHORS: Oliveira, JN ;
SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23, PUBLISHED: 1990
AUTHORS: Dix, AJ; Harrison, MD ;
SOURCE: People and Comput, Des for Usability, Proc of the Second Conf of the British Comput Soc , PAGES: 352-366, PUBLISHED: 1986
AUTHORS: Dix, AJ; Harrison, MD ; Miranda, EE;
SOURCE: Software Engineering Environments. , PAGES: 135-150, PUBLISHED: 1986
AUTHORS: Fernando Mario Martins; Jose Nuno Oliveira ;
SOURCE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition. , PAGES: 401-412, PUBLISHED: 1985