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: 2702
43 Team MembersFilters -> Year: 2025
1341
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
1342
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
1343
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
1344
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
1345
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
1346
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
WOS1347
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
1348
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
1349
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
1351
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
1352
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 arXiv1353
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
1354
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
1355
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 arXiv1356
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
1357
TITLE: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTHORS: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLISHED: 2015, SOURCE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July, PAGES: 271-286
AUTHORS: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLISHED: 2015, SOURCE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July, PAGES: 271-286
1358
TITLE: An algorithm for packing tubes and boxes PDF
AUTHORS: Pedroso, JP ; Tavares, JN ; Leite, J;
PUBLISHED: 2015, SOURCE: 45th International Conference on Computers and Industrial Engineering, CIE 2015 in Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering, VOLUME: abs/1609.07676
AUTHORS: Pedroso, JP ; Tavares, JN ; Leite, J;
PUBLISHED: 2015, SOURCE: 45th International Conference on Computers and Industrial Engineering, CIE 2015 in Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering, VOLUME: abs/1609.07676
INDEXED IN: 
Scopus DBLP arXiv
Scopus DBLP arXiv1359
TITLE: An Experimental Study on Predictive Models Using Hierarchical Time Series Full Text
AUTHORS: Ana M Silva; Rita P Ribeiro ; Joao Gama ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 501-512
AUTHORS: Ana M Silva; Rita P Ribeiro ; Joao Gama ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 501-512
1360
TITLE: An overview on the exploitation of time in collaborative filtering. Exploiting time in collaborative filtering Full Text
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLISHED: 2015, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 5, ISSUE: 5, PAGES: 195-215
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLISHED: 2015, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 5, ISSUE: 5, PAGES: 195-215
