High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1498
150 Team MembersFilters -> Year: 2025
1481
TITLE: Evaluation of the communication performance on a parallel processing system Full Text
AUTHORS: Santos, LP ; Castro, V; Proenca, A ;
PUBLISHED: 1997, SOURCE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PAGES: 41-48
AUTHORS: Santos, LP ; Castro, V; Proenca, A ;
PUBLISHED: 1997, SOURCE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PAGES: 41-48
INDEXED IN: 
Scopus 
WOS
Scopus WOS1482
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
INDEXED IN: 
DBLP
DBLP1483
TITLE: Magic sets with full sharing Full Text
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
1484
TITLE: Parallel neural network recognition - a multi-agent system approach
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle1485
TITLE: Resource Allocation on Agent Meta-Societies
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PAGES: 343-348
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PAGES: 343-348
1486
TITLE: Semantics of non-terminating rewrite systems using minimal coverings Full Text
AUTHORS: Barros, J ; Goguen, J;
PUBLISHED: 1996, SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092, PAGES: 16-35
AUTHORS: Barros, J ; Goguen, J;
PUBLISHED: 1996, SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092, PAGES: 16-35
INDEXED IN: WOS 
CrossRef
WOS CrossRef1487
TITLE: Using Internet technology for course support
AUTHORS: Miranda, JEP; Pinto, JS ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 Symposium on Integrating Technology into Computer Science Education in SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), VOLUME: 28, ISSUE: Special Issu, PAGES: 96-100
AUTHORS: Miranda, JEP; Pinto, JS ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 Symposium on Integrating Technology into Computer Science Education in SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), VOLUME: 28, ISSUE: Special Issu, PAGES: 96-100
1488
TITLE: A MESSAGES-DENSITY MONITORING STRATEGY FOR DISTRIBUTED-MEMORY PARALLEL SYSTEMS
AUTHORS: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLISHED: 1995, SOURCE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, ISSUE: 1, PAGES: 51-55
AUTHORS: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLISHED: 1995, SOURCE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, ISSUE: 1, PAGES: 51-55
INDEXED IN: WOS
WOS1489
TITLE: An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions
AUTHORS: Paulo Jorge de Sousa Azevedo ; Danilo Montesi;
PUBLISHED: 1995, SOURCE: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, VOLUME: 266, PAGES: 71-80
AUTHORS: Paulo Jorge de Sousa Azevedo ; Danilo Montesi;
PUBLISHED: 1995, SOURCE: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, VOLUME: 266, PAGES: 71-80
INDEXED IN: DBLP
DBLP1490
TITLE: Concurrent attribute evaluation Full Text
AUTHORS: Saraiva, J ; Henriques, P ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 451-457
AUTHORS: Saraiva, J ; Henriques, P ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 451-457
1491
TITLE: Integration of concurrency control in a language with subtyping and subclassing
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
INDEXED IN: WOS DBLP
WOS DBLP1492
TITLE: Operating system support for parallel computation Full Text
AUTHORS: deMoura, FS ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 307-312
AUTHORS: deMoura, FS ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 307-312
INDEXED IN: Scopus WOS
Scopus WOS1493
TITLE: A Theory-based Typological Notion of Institutions
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, 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
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, 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
1494
TITLE: CONCURRENCY ANNOTATIONS IN C++
AUTHORS: BAQUERO, C ; MOURA, F ;
PUBLISHED: 1994, SOURCE: SIGPLAN NOTICES, VOLUME: 29, ISSUE: 7, PAGES: 61-67
AUTHORS: BAQUERO, C ; MOURA, F ;
PUBLISHED: 1994, SOURCE: SIGPLAN NOTICES, VOLUME: 29, ISSUE: 7, PAGES: 61-67
1495
TITLE: Recomputation-Free Lemmatization by Program Transformation
AUTHORS: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 739-740
AUTHORS: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PAGES: 739-740
INDEXED IN: DBLP
DBLP1496
TITLE: A reification calculus for model-oriented software specification
AUTHORS: Oliveira, JN ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23
AUTHORS: Oliveira, JN ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1, PAGES: 1-23
1497
TITLE: ARCHETYPE-ORIENTED USER INTERFACES Full Text
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 17-28
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 17-28
1498
TITLE: GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.
AUTHORS: Fernando Mario Martins; Jose Nuno Oliveira ;
PUBLISHED: 1985, SOURCE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition. , PAGES: 401-412
AUTHORS: Fernando Mario Martins; Jose Nuno Oliveira ;
PUBLISHED: 1985, SOURCE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition. , PAGES: 401-412
INDEXED IN: Scopus
Scopus