Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory
Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science
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.
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 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: 1490
150 Team MembersFilters -> Year: 2024
AUTORES: Carlos Baquero ; Francisco Moura ;
PUBLICAÇÃO: 1999, FONTE: Operating Systems Review, VOLUME: 33, NÚMERO: 4, PÁGINAS: 90-96
AUTORES: Andersen, B; Baquero, C ; Juul, NC;
PUBLICAÇÃO: 1998, FONTE: ECOOP 98 Workshop on Object-Oriented Technology in OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, VOLUME: 1543, PÁGINAS: 307-308
AUTORES: Barbosa, MBM ; Carvalho, AD ; Farsi, M;
PUBLICAÇÃO: 1998, FONTE: 24th Annual Conference of the IEEE Industrial-Electronics-Society in IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 1, PÁGINAS: 155-159
AUTORES: Alcino Cunha ; José Neves;
PUBLICAÇÃO: 1998, FONTE: 1998 International Conference on Multi Agent Systems, ICMAS 1998 in Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, PÁGINAS: 413-414
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 1998, FONTE: 6th International Conference on Civil and Structural Engineering Computing/4th International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering in ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 29, NÚMERO: 7-9, PÁGINAS: 571-586
AUTORES: Carlos Baquero ; Francisco Moura ;
PUBLICAÇÃO: 1998, FONTE: Mobile Computing and Communications Review, VOLUME: 2, NÚMERO: 4, PÁGINAS: 62-66
AUTORES: Kuiper, M; Saraiva, J ;
PUBLICAÇÃO: 1998, FONTE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PÁGINAS: 298-301
AUTORES: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLICAÇÃO: 1998, FONTE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PÁGINAS: 283-287
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PÁGINAS: 155-170
AUTORES: Paulo Sérgio Almeida ;
PUBLICAÇÃO: 1997, FONTE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PÁGINAS: 32-59
AUTORES: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PÁGINAS: 554-559
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
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
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
AUTORES: Azevedo, PJ ;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, NÚMERO: 3, PÁGINAS: 223-237
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
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
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
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
AUTORES: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLICAÇÃO: 1995, FONTE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, NÚMERO: 1, PÁGINAS: 51-55