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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1659

149 Team Members
Filters -> Year: 2026
1641
TÍTULO: Evaluation of the communication performance on a parallel processing system  Full Text
AUTORES: Santos, LP ; Castro, V; Proenca, A ;
PUBLICAÇÃO: 1997, FONTE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PÁGINAS: 41-48
INDEXADO EM: Scopus WOS
1642
TÍTULO: Formally verifying interactive systems: A review
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: DSV-IS, PÁGINAS: 109-124
INDEXADO EM: DBLP
1643
TÍTULO: Magic sets with full sharing  Full Text
AUTORES: Azevedo, PJ ;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, NÚMERO: 3, PÁGINAS: 223-237
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1644
TÍTULO: Parallel neural network recognition - a multi-agent system approach
AUTORES: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 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, PÁGINAS: 103-112
INDEXADO EM: Scopus WOS Handle
1645
TÍTULO: Resource Allocation on Agent Meta-Societies
AUTORES: Alcino Cunha ; Orlando Belo ;
PUBLICAÇÃO: 1997, FONTE: EPIA, VOLUME: 1323, PÁGINAS: 343-348
INDEXADO EM: Scopus DBLP CrossRef Handle
1646
TÍTULO: Semantics of non-terminating rewrite systems using minimal coverings  Full Text
AUTORES: Barros, J ; Goguen, J;
PUBLICAÇÃO: 1996, FONTE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092, PÁGINAS: 16-35
INDEXADO EM: WOS CrossRef
1647
TÍTULO: Using Internet technology for course support
AUTORES: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLICAÇÃO: 1996, FONTE: ITiCSE, VOLUME: 28, NÚMERO: Special Issu, PÁGINAS: 96-100
INDEXADO EM: Scopus DBLP CrossRef
1648
TÍTULO: A MESSAGES-DENSITY MONITORING STRATEGY FOR DISTRIBUTED-MEMORY PARALLEL SYSTEMS
AUTORES: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLICAÇÃO: 1995, FONTE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, NÚMERO: 1, PÁGINAS: 51-55
INDEXADO EM: WOS
1649
TÍTULO: An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions
AUTORES: Paulo Jorge de Sousa Azevedo ; Danilo Montesi;
PUBLICAÇÃO: 1995, FONTE: 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, PÁGINAS: 71-80
INDEXADO EM: DBLP
1650
TÍTULO: Concurrent attribute evaluation  Full Text
AUTORES: Saraiva, J ; Henriques, P ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 451-457
INDEXADO EM: Scopus WOS CrossRef: 1
1651
TÍTULO: Integration of concurrency control in a language with subtyping and subclassing
AUTORES: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLICAÇÃO: 1995, FONTE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PÁGINAS: 173-183
INDEXADO EM: WOS DBLP
1652
TÍTULO: Operating system support for parallel computation  Full Text
AUTORES: deMoura, FS ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 307-312
INDEXADO EM: Scopus WOS
1653
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: COMPASS/ADT, VOLUME: 906, PÁGINAS: 420-436
INDEXADO EM: Scopus DBLP CrossRef: 1
1654
TÍTULO: CONCURRENCY ANNOTATIONS IN C++
AUTORES: BAQUERO, C ; MOURA, F ;
PUBLICAÇÃO: 1994, FONTE: SIGPLAN NOTICES, VOLUME: 29, NÚMERO: 7, PÁGINAS: 61-67
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1655
TÍTULO: Recomputation-Free Lemmatization by Program Transformation
AUTORES: Paulo Jorge de Sousa Azevedo ; Marek J Sergot;
PUBLICAÇÃO: 1994, FONTE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PÁGINAS: 739-740
INDEXADO EM: DBLP
1656
TÍTULO: Software reification using the SETS calculus
AUTORES: José N F Oliveira ;
PUBLICAÇÃO: 1992
INDEXADO EM: Handle
1657
TÍTULO: A reification calculus for model-oriented software specification
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1, PÁGINAS: 1-23
INDEXADO EM: Scopus CrossRef: 22 Handle
1658
TÍTULO: ARCHETYPE-ORIENTED USER INTERFACES  Full Text
AUTORES: MARTINS, FM ; OLIVEIRA, JN ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1, PÁGINAS: 17-28
INDEXADO EM: Scopus WOS CrossRef: 1
1659
TÍTULO: GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.
AUTORES: Fernando Mario Martins; Jose Nuno Oliveira ;
PUBLICAÇÃO: 1985, FONTE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition. , PÁGINAS: 401-412
INDEXADO EM: Scopus

Results per Page: 20.
Página 83 de 83. Total de resultados: 1659.