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: 1570
167 Team MembersFilters -> Year: 2026
AUTORES: Pacheco, O ; Santos, F ;
PUBLICAÇÃO: 2004, FONTE: 7th International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 3065, PÁGINAS: 209-227
AUTORES: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125, PÁGINAS: 334-356
AUTORES: José Orlando Pereira ; Luís Rodrigues ; Alexandre S Pinto; Rui Carlos Oliveira ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 299-308
AUTORES: Miguel Veloso; Alípio Jorge ; Paulo J Azevedo ;
PUBLICAÇÃO: 2004, FONTE: ICEIS (2), PÁGINAS: 241-248
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116, PÁGINAS: 506-520
AUTORES: Sun, M; Zhang, NX; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 2nd International Conference on Software Engineering and Formal Methods in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PÁGINAS: 164-173
AUTORES: Cortes, B; Oliveira, JN ;
PUBLICAÇÃO: 2004, FONTE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PÁGINAS: 376-382
AUTORES: Santos, LP ; Proenca, A ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PÁGINAS: 222-229
HandleAUTORES: Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 218-227
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
AUTORES: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLICAÇÃO: 2004, FONTE: VVEIS, PÁGINAS: 87-96
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: CLIHC, VOLUME: 46, PÁGINAS: 17-28
AUTORES: Pacheco, O ; Carmo, J ;
PUBLICAÇÃO: 2003, FONTE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, NÚMERO: 2, PÁGINAS: 145-184
AUTORES: Rodrigues, L ; Pereira, J ; Handurukande, S; Guerraoui, R; Kermarrec, AM;
PUBLICAÇÃO: 2003, FONTE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 47-56
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2003, FONTE: WFLP, VOLUME: 86, NÚMERO: 3, PÁGINAS: 70-84
AUTORES: Bryant, B; Saraiva, J ;
PUBLICAÇÃO: 2003, FONTE: LDTA'2003 - Language Descriptions, Tools and Applications in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 3, PÁGINAS: 461-462
AUTORES: João Saraiva ; Sérgio Schneider;
PUBLICAÇÃO: 2003, FONTE: HICSS, PÁGINAS: 324
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: ICSE Workshop on SE-HCI, PÁGINAS: 49-56
AUTORES: Saraiva, J ; Swierstra, D;
PUBLICAÇÃO: 2003, FONTE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, VOLUME: 2830, PÁGINAS: 307-323
AUTORES: Pereira, J ; Rodrigues, L ; Monteiro, MJ; Oliveira, R ; Kermarrec, AM;
PUBLICAÇÃO: 2003, FONTE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 15-24