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: 1499

150 Team Members
Filters -> Year: 2025
1481
TÍTULO: Enhancing load distribution strategies through simulation
AUTORES: Cunha, A ; Santos, LP ; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PÁGINAS: 416-420
INDEXADO EM: WOS
1482
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
1483
TÍTULO: Formally verifying interactive systems: A review
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PÁGINAS: 109-124
INDEXADO EM: DBLP
1484
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
1485
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
1486
TÍTULO: Resource Allocation on Agent Meta-Societies
AUTORES: Alcino Cunha ; Orlando Belo ;
PUBLICAÇÃO: 1997, FONTE: 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, PÁGINAS: 343-348
INDEXADO EM: Scopus DBLP CrossRef Handle
1487
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
1488
TÍTULO: Using Internet technology for course support
AUTORES: Miranda, JEP; Pinto, JS ;
PUBLICAÇÃO: 1996, FONTE: 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, NÚMERO: Special Issu, PÁGINAS: 96-100
INDEXADO EM: Scopus DBLP CrossRef
1489
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
1490
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
1491
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
1492
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
1493
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
1494
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: 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, PÁGINAS: 420-436
INDEXADO EM: Scopus DBLP CrossRef: 1
1495
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
1496
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
1497
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 Handle
1498
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
1499
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 75 de 75. Total de resultados: 1499.