Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 2644

43 Team Members
Filters -> Year: 2025
1281
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
1282
TÍTULO: Verifying Constant-Time Implementations
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
INDEXADO EM: WOS DBLP
1283
TÍTULO: Weather Stations-Assisted Barometric Altimeter for Android: Interpolation Techniques for Improved Accuracy
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
INDEXADO EM: Scopus WOS CrossRef: 3
1284
TÍTULO: Why should you model time when you use Markov Models for heart sound analysis
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
INDEXADO EM: Scopus WOS DBLP CrossRef
1285
TÍTULO: Workshop message: Smart Vehicles 2016
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
INDEXADO EM: Scopus CrossRef
1286
TÍTULO: A Clear Picture of Lens Laws - Functional Pearl
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
INDEXADO EM: Scopus DBLP CrossRef: 9
1287
TÍTULO: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PÁGINAS: 89-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1288
TÍTULO: A Kinect-Based System for Upper-Body Function Assessment in Breast Cancer Patients
AUTORES: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF IMAGING, VOLUME: 1, NÚMERO: 1, PÁGINAS: 134-155
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1289
TÍTULO: A Kinect-Based System to Assess Lymphedema Impairments in Breast Cancer Patients
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1290
TÍTULO: A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder
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
INDEXADO EM: Scopus WOS DBLP
1291
TÍTULO: A multi-relational model for depression relapse in patients with bipolar disorder by means of a machine learning approach  Full Text
AUTORES: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLICAÇÃO: 2015, FONTE: BIPOLAR DISORDERS, VOLUME: 17, PÁGINAS: 128-128
INDEXADO EM: WOS
1292
TÍTULO: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1293
TÍTULO: A Parallel Computing Hybrid Approach for Feature Selection
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1294
TÍTULO: A proposal to incorporate digital auscultation and its processing into an existing electronic health record
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
INDEXADO EM: Scopus DBLP CrossRef: 8
1295
TÍTULO: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 115, NÚMERO: 11, PÁGINAS: 908-911
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1296
TÍTULO: A Structural Approach to Assess Graph-Based Exercises
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1297
TÍTULO: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTORES: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.01658
INDEXADO EM: DBLP arXiv
1298
TÍTULO: A Typed Language for Events
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1299
TÍTULO: Accelerating Recommender Systems using GPUs
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1300
TÍTULO: Accelerating Recommender Systems using GPUs PDF
AUTORES: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1511.02433
INDEXADO EM: DBLP arXiv

Results per Page: 20.
Página 65 de 133. Total de resultados: 2644.