High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

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. 
External   Internal

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
1221
TITLE: Concurrent attribute evaluation  Full Text
AUTHORS: Saraiva, J ; Henriques, P ;
SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 451-457, PUBLISHED: 1995
INDEXED IN: Scopus WOS CrossRef: 1
1222
TITLE: Event model of human-system interaction
AUTHORS: Duke, DJ; Harrison, MD ;
SOURCE: Software engineering journal, VOLUME: 10, ISSUE: 1, PAGES: 3-12, PUBLISHED: 1995
INDEXED IN: Scopus
1223
TITLE: Integration of concurrency control in a language with subtyping and subclassing
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
INDEXED IN: WOS DBLP
1224
TITLE: Mapping user requirements to implementations
AUTHORS: Duke, DJ; Harrison, MD ;
SOURCE: Software engineering journal, VOLUME: 10, ISSUE: 1, PAGES: 13-20, PUBLISHED: 1995
INDEXED IN: Scopus
1225
TITLE: Operating system support for parallel computation  Full Text
AUTHORS: deMoura, FS ;
SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 307-312, PUBLISHED: 1995
INDEXED IN: Scopus WOS
1226
TITLE: Soft science and technology meets cognitive science and human-computer interaction for cooperation
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
INDEXED IN: Scopus CrossRef
1227
TITLE: Task centered approach to analysing human error tolerance requirements
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
INDEXED IN: Scopus
1228
TITLE: Using Interaction Framework to guide the design of interactive systems  Full Text
AUTHORS: Blandford, AE; Barnard, PJ; Harrison, MD ;
SOURCE: International Journal of Human - Computer Studies, VOLUME: 43, ISSUE: 1, PAGES: 101-130, PUBLISHED: 1995
INDEXED IN: Scopus CrossRef
1229
TITLE: A Theory-based Typological Notion of Institutions
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
INDEXED IN: Scopus DBLP CrossRef
1230
TITLE: CONCURRENCY ANNOTATIONS IN C++
AUTHORS: BAQUERO, C ; MOURA, F ;
SOURCE: SIGPLAN NOTICES, VOLUME: 29, ISSUE: 7, PAGES: 61-67, PUBLISHED: 1994
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1231
TITLE: Deriving human-error tolerance requirements tasks
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
INDEXED IN: Scopus
1232
TITLE: Recomputation-Free Lemmatization by Program Transformation
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
INDEXED IN: DBLP
1233
TITLE: Unifying views of interactors
AUTHORS: Duke, D; Faconti, G; Harrison, M ; Paterno, F;
SOURCE: Workshop on Advanced Visual Interfaces, AVI 1994 in Proceedings of the Workshop on Advanced Visual Interfaces AVI, PAGES: 143-152, PUBLISHED: 1994
INDEXED IN: Scopus CrossRef
1234
TITLE: Using temporal logic to support the specification and prototyping of interactive control systems
AUTHORS: Johnson, CW; Harrison, MD ;
SOURCE: International Journal of Man-Machine Studies, VOLUME: 37, ISSUE: 3, PAGES: 357-385, PUBLISHED: 1992
INDEXED IN: Scopus CrossRef
1235
TITLE: Modelling user, system and design: Results of a scenarios matrix exercise
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
INDEXED IN: Scopus CrossRef
1236
TITLE: A reification calculus for model-oriented software specification
AUTHORS: Oliveira, JN ;
SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23, PUBLISHED: 1990
INDEXED IN: Scopus CrossRef
1237
TITLE: ARCHETYPE-ORIENTED USER INTERFACES  Full Text
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 17-28, PUBLISHED: 1990
INDEXED IN: Scopus WOS CrossRef
1238
TITLE: PRINCIPLES AND INTERACTION MODELS FOR WINDOW MANAGERS.
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
INDEXED IN: Scopus
1239
TITLE: USING PRINCIPLES TO DESIGN FEATURES OF A SMALL PROGRAMMING ENVIRONMENT.
AUTHORS: Dix, AJ; Harrison, MD ; Miranda, EE;
SOURCE: Software Engineering Environments. , PAGES: 135-150, PUBLISHED: 1986
INDEXED IN: Scopus
1240
TITLE: GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.
AUTHORS: Fernando Mario Martins; Jose Nuno Oliveira ;
SOURCE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition. , PAGES: 401-412, PUBLISHED: 1985
INDEXED IN: Scopus

Results per Page: 20.
Page 62 of 63. Total results: 1241.