Departamento de Ciências dos Computadores (DCC)
Department of 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: 2644
43 Team MembersFilters -> Year: 2025
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783, PÁGINAS: 163-184
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PÁGINAS: 53-70
AUTORES: Joao Azevedo; Sergio Crisostomo ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE Sensors Applications Symposium (SAS) in 2016 IEEE SENSORS APPLICATIONS SYMPOSIUM (SAS 2016) PROCEEDINGS, PÁGINAS: 456-461
AUTORES: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PÁGINAS: 3449-3452
AUTORES: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLICAÇÃO: 2016, FONTE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PÁGINAS: 215-223
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PÁGINAS: 89-105
AUTORES: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF IMAGING, VOLUME: 1, NÚMERO: 1, PÁGINAS: 134-155
AUTORES: Rita Moreira; Andre Magalhaes; Helder P Oliveira ;
PUBLICAÇÃO: 2015, FONTE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PÁGINAS: 228-236
AUTORES: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLICAÇÃO: 2015, FONTE: 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015 in MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PÁGINAS: 741-745
AUTORES: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLICAÇÃO: 2015, FONTE: BIPOLAR DISORDERS, VOLUME: 17, PÁGINAS: 128-128
AUTORES: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2015, FONTE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PÁGINAS: 4194-4197
AUTORES: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLICAÇÃO: 2015, FONTE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PÁGINAS: 97-104
AUTORES: Gomes, P; Frade, S; Castro, A; Cruz Correia, R ; Coimbra, M ;
PUBLICAÇÃO: 2015, FONTE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - 8th International Conference on Health Informatics, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PÁGINAS: 143-150
AUTORES: Ruben Sousa; Jose Paulo Leal ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 182-193
AUTORES: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.01658
AUTORES: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PÁGINAS: 107-123
AUTORES: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PÁGINAS: 879-884
AUTORES: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1511.02433