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: Vilaça, R ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 214-227
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: BM-FA, PÁGINAS: 17-24
AUTORES: Jin, D; Yang, B; Baquero, C ; Liu, DY; He, DX; Liu, J;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: abs/1303.5675, NÚMERO: 5
AUTORES: Miguel Matos ; Ricardo Vilaça ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2011, FONTE: DSN Workshops, PÁGINAS: 105-110
AUTORES: Jin, D; Liu, DY; Yang, B; Baquero, C ; He, DX;
PUBLICAÇÃO: 2011, FONTE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II, VOLUME: 6635, NÚMERO: PART 2, PÁGINAS: 123-134
AUTORES: Cruz, F ; Gomes, P; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: 13th IEEE International Conference on Commerce and Enterprise Computing (CEC) in 13TH IEEE INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2011), PÁGINAS: 267-270
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: FACS, VOLUME: 7253 LNCS, PÁGINAS: 313-330
AUTORES: Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2011, FONTE: PEPM, PÁGINAS: 91-100
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8, PÁGINAS: 681-710
AUTORES: Shapiro, M; Preguiça, N ; Baquero, C ; Zawirski, M;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, VOLUME: 6976, PÁGINAS: 386-+
AUTORES: Marc Shapiro; Nuno M Preguiça ; Carlos Baquero ; Marek Zawirski;
PUBLICAÇÃO: 2011, FONTE: Bull. EATCS, VOLUME: 104, PÁGINAS: 67-88
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: FOCLASA, VOLUME: 58, PÁGINAS: 65-79
AUTORES: Cunha, J ; Mendes, J ; Saraiva, J ; Fernandes, JP ;
PUBLICAÇÃO: 2011, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011), PÁGINAS: 179-186
AUTORES: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: IS-EUD, VOLUME: 6654 LNCS, PÁGINAS: 282-288
AUTORES: Ferreira, V; Santos, LP ; Franzen, M; Ghouati, OO; Simoes, R ;
PUBLICAÇÃO: 2011, FONTE: International Journal of Mathematics and Computers in Simulation, VOLUME: 5, NÚMERO: 1, PÁGINAS: 69-76
AUTORES: Nuno A Carvalho; João Bordalo; Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2011, FONTE: MW4SOC, PÁGINAS: 3
AUTORES: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P ; Mosteiro, MA;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Principles of Distributed Systems (OPODIS 2011) in PRINCIPLES OF DISTRIBUTED SYSTEMS, VOLUME: 7109, PÁGINAS: 513-+
AUTORES: Areias, S; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2, PÁGINAS: 477-499
AUTORES: João M Fernandes; Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: GTTSE, VOLUME: 6491
CrossRefAUTORES: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PÁGINAS: 269-+