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: 1487
150 Team MembersFilters -> Year: 2024
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, NÚMERO: C, PÁGINAS: 83-96
AUTORES: Correia, A; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: On the Move Confederated International Conference and Workshops in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I, VOLUME: 5331, NÚMERO: PART 1, PÁGINAS: 691-708
AUTORES: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, NÚMERO: C, PÁGINAS: 89-106
AUTORES: Rui Carlos Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 12th Enterprise Distributed Object Computing Conference Workshops in EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, PÁGINAS: 415-415
AUTORES: Michael D Harrison ; José Creissac Campos ;
PUBLICAÇÃO: 2008, FONTE: ERCIM News, VOLUME: 2008, NÚMERO: 75
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140, PÁGINAS: 83-99
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2008, FONTE: 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08 in Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08, PÁGINAS: 369-372
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008, PÁGINAS: 143
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability - Quality in Software, Interaction and Value, PÁGINAS: 56-74
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PÁGINAS: 193-209
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PÁGINAS: 265-266
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
AUTORES: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21, PÁGINAS: 3592-3607
AUTORES: Harrison, MD ; Kray, C; Campos, JC ;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, NÚMERO: C, PÁGINAS: 41-55
AUTORES: Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLICAÇÃO: 2008, FONTE: GTTSE, VOLUME: 5235
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 3rd Workshop on Middleware for Service Oriented Computing, MW4SOC 2008, Leuven, Belgium, December 1-5, 2008, PÁGINAS: 55-60
AUTORES: Ireneu Dias ; Rui Oliveira ; Orlando Frazao ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 289-294
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Principles of Distributed Systems in PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, VOLUME: 5401, PÁGINAS: 259-274
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317