Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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
1281
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783, PAGES: 163-184
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783, PAGES: 163-184
1282
TITLE: Verifying Constant-Time Implementations
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PAGES: 53-70
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PAGES: 53-70
INDEXED IN: 
WOS 
DBLP
WOS DBLP1283
TITLE: Weather Stations-Assisted Barometric Altimeter for Android: Interpolation Techniques for Improved Accuracy
AUTHORS: Joao Azevedo; Sergio Crisostomo ;
PUBLISHED: 2016, SOURCE: 11th IEEE Sensors Applications Symposium (SAS) in 2016 IEEE SENSORS APPLICATIONS SYMPOSIUM (SAS 2016) PROCEEDINGS, PAGES: 456-461
AUTHORS: Joao Azevedo; Sergio Crisostomo ;
PUBLISHED: 2016, SOURCE: 11th IEEE Sensors Applications Symposium (SAS) in 2016 IEEE SENSORS APPLICATIONS SYMPOSIUM (SAS 2016) PROCEEDINGS, PAGES: 456-461
1284
TITLE: Why should you model time when you use Markov Models for heart sound analysis
AUTHORS: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 3449-3452
AUTHORS: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 3449-3452
1285
TITLE: Workshop message: Smart Vehicles 2016
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 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
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1286
TITLE: A Clear Picture of Lens Laws - Functional Pearl
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 215-223
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 215-223
1287
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
1288
TITLE: A Kinect-Based System for Upper-Body Function Assessment in Breast Cancer Patients
AUTHORS: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLISHED: 2015, SOURCE: JOURNAL OF IMAGING, VOLUME: 1, ISSUE: 1, PAGES: 134-155
AUTHORS: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLISHED: 2015, SOURCE: JOURNAL OF IMAGING, VOLUME: 1, ISSUE: 1, PAGES: 134-155
1289
TITLE: A Kinect-Based System to Assess Lymphedema Impairments in Breast Cancer Patients
AUTHORS: Rita Moreira; Andre Magalhaes; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 228-236
AUTHORS: Rita Moreira; Andre Magalhaes; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 228-236
1290
TITLE: A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder
AUTHORS: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLISHED: 2015, SOURCE: 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015 in MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PAGES: 741-745
AUTHORS: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLISHED: 2015, SOURCE: 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015 in MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PAGES: 741-745
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1291
TITLE: A multi-relational model for depression relapse in patients with bipolar disorder by means of a machine learning approach Full Text
AUTHORS: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLISHED: 2015, SOURCE: BIPOLAR DISORDERS, VOLUME: 17, PAGES: 128-128
AUTHORS: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLISHED: 2015, SOURCE: BIPOLAR DISORDERS, VOLUME: 17, PAGES: 128-128
INDEXED IN: WOS
WOS1292
TITLE: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
AUTHORS: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 4194-4197
AUTHORS: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 4194-4197
1293
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
1294
TITLE: A proposal to incorporate digital auscultation and its processing into an existing electronic health record
AUTHORS: Gomes, P; Frade, S; Castro, A; Cruz Correia, R ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 143-150
AUTHORS: Gomes, P; Frade, S; Castro, A; Cruz Correia, R ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 143-150
1296
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
1297
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: DBLP 
arXiv
DBLP arXiv1298
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
1299
TITLE: Accelerating Recommender Systems using GPUs
AUTHORS: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 879-884
AUTHORS: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 879-884
1300
TITLE: Accelerating Recommender Systems using GPUs PDF
AUTHORS: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.02433
AUTHORS: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.02433
INDEXED IN: DBLP arXiv
DBLP arXiv