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: 1659
149 Team MembersFilters -> Year: 2026
AUTORES: Etienne Rivière; Roberto Baldoni; Harry C Li; José Pereira ;
PUBLICAÇÃO: 2007, FONTE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 41, NÚMERO: 5, PÁGINAS: 43-50
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2007, FONTE: FOCLASA, VOLUME: 194, NÚMERO: 4, PÁGINAS: 57-76
AUTORES: Berdaguer, P; Cunha, A ; Pacheco, H ; Visser, J;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354, PÁGINAS: 290-+
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2007, FONTE: Successes and New Directions in Data Mining, PÁGINAS: 116-140
AUTORES: Carvalho, N; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLICAÇÃO: 2007, FONTE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 481-+
AUTORES: Leitao, J ; Pereira, J ; Rodrigues, L ;
PUBLICAÇÃO: 2007, FONTE: 26th IEEE International Symposium on Reliable Distributed Systems in SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 301-+
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2007, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 2, NÚMERO: 1
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2007, FONTE: IEEE Symposium on Computational Intelligence and Data Mining in 2007 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING, VOLS 1 AND 2, PÁGINAS: 171-178
AUTORES: Michael D Harrison ; Christian Kray; José Creissac Campos ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C, PÁGINAS: 41-55
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings, PÁGINAS: 107-116
AUTORES: Correia, A; Pereira, J ; Rodrigues, L ; Carvalho, N; Vilaca, R ; Oliveira, R ; Guedes, S;
PUBLICAÇÃO: 2007, FONTE: 6th IEEE International Symposium on Network Computing and Applications in Sixth IEEE International Symposium on Network Computing and Applications, Proceedings, PÁGINAS: 287-290
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2007, FONTE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6, PÁGINAS: 854-873
AUTORES: Leitao, J ; Pereira, J ; Rodrigues, L ;
PUBLICAÇÃO: 2007, FONTE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 419-+
AUTORES: Lopes, N; Baquero, C ;
PUBLICAÇÃO: 2007, FONTE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PÁGINAS: 197-+
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, NÚMERO: PART 2, PÁGINAS: 1025-1031
AUTORES: Morla, R ; Davies, N;
PUBLICAÇÃO: 2007, FONTE: 21st International Conference on Advanced Networking and Applications in 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS WORKSHOPS/SYMPOSIA, VOL 2, PROCEEDINGS, VOLUME: 1, PÁGINAS: 320-+
AUTORES: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLICAÇÃO: 2007, FONTE: IET SOFTWARE, VOLUME: 1, NÚMERO: 6, PÁGINAS: 294-314
AUTORES: Azevedo, PJ ; Jorge, AM ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4755, PÁGINAS: 56-+
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C, PÁGINAS: 77-93
AUTORES: Barbosa, LS ; Martinho, MH ;
PUBLICAÇÃO: 2007, FONTE: Mathematical Modelling: Education, Engineering and Economics - ICTMA 12, PÁGINAS: 480-489