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
981
TITLE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
INDEXED IN: 
DBLP
DBLP982
TITLE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
INDEXED IN: DBLP
DBLP984
TITLE: A Comparative Study of Electronic Stethoscopes for Cardiac Auscultation Full Text
AUTHORS: Pinto, C; Pereira, D; Ferreira Coimbra, J; Portugues, J; Gama, V; Coimbra, M ;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2610-2613
AUTHORS: Pinto, C; Pereira, D; Ferreira Coimbra, J; Portugues, J; Gama, V; Coimbra, M ;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2610-2613
985
TITLE: A Comparative Study of Performance Estimation Methods for Time Series Forecasting
AUTHORS: Cerqueira, V ; Torgo, L ; Smailovic, J; Mozetic, I;
PUBLISHED: 2017, SOURCE: 4th IEEE / ACM / ASA International Conference on Data Science and Advanced Analytics (DSAA) in 2017 IEEE INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), VOLUME: 2018-January, PAGES: 529-538
AUTHORS: Cerqueira, V ; Torgo, L ; Smailovic, J; Mozetic, I;
PUBLISHED: 2017, SOURCE: 4th IEEE / ACM / ASA International Conference on Data Science and Advanced Analytics (DSAA) in 2017 IEEE INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), VOLUME: 2018-January, PAGES: 529-538
986
TITLE: A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation PDF
AUTHORS: Francesco Renna ; Jorge Oliveira ; Miguel T Coimbra ;
PUBLISHED: 2017, SOURCE: 44th Computing in Cardiology Conference (CinC) in 2017 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 44, PAGES: 1-4
AUTHORS: Francesco Renna ; Jorge Oliveira ; Miguel T Coimbra ;
PUBLISHED: 2017, SOURCE: 44th Computing in Cardiology Conference (CinC) in 2017 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 44, PAGES: 1-4
987
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
INDEXED IN: DBLP
DBLP988
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006
989
TITLE: A Framework for BGP Abnormal Events Detection PDF
AUTHORS: Anisa Allahdadi; Ricardo Morla; Rui Prior ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1708.03453
AUTHORS: Anisa Allahdadi; Ricardo Morla; Rui Prior ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1708.03453
INDEXED IN: DBLP 
arXiv
DBLP arXiv990
TITLE: A Framework for Recommendation of Highly Popular News Lacking Social Feedback Full Text
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
991
TITLE: A graph-based framework for the analysis of access control policies Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
992
TITLE: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef993
TITLE: A Practical Framework for Privacy-Preserving NoSQL Databases Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
994
TITLE: A Preliminary Approach for the Segmentation of Mitral Valve Regurgitation Jet in Doppler Ecocardiography Images
AUTHORS: Eva Costa; Nelson Martins; Malik Saad Sultan; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Coimbra ;
PUBLISHED: 2017, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies in PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 2: BIOIMAGING, PAGES: 47-54
AUTHORS: Eva Costa; Nelson Martins; Malik Saad Sultan; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Coimbra ;
PUBLISHED: 2017, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies in PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 2: BIOIMAGING, PAGES: 47-54
995
TITLE: A qualitative research evaluation of a Portuguese computerized cancer registry
AUTHORS: Santos Pereira, C ; Cruz Correia, R ; Brito, AC ; Augusto, AB; Manuel E. Correia ; Bento, MJ; Antunes, L ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Santos Pereira, C ; Cruz Correia, R ; Brito, AC ; Augusto, AB; Manuel E. Correia ; Bento, MJ; Antunes, L ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
996
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
997
TITLE: A Survey on Operational State Complexity
AUTHORS: Yuan Gao; Nelma Moreira ; Rogério Reis ; Sheng Yu;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 21, ISSUE: 4, PAGES: 251-310
AUTHORS: Yuan Gao; Nelma Moreira ; Rogério Reis ; Sheng Yu;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 21, ISSUE: 4, PAGES: 251-310
INDEXED IN: DBLP
DBLP998
TITLE: A system for visualization and analysis of online pedagogical interactions
AUTHORS: Rei, A; Figueira, Á ; Oliveira, L ;
PUBLISHED: 2017, SOURCE: 2017 International Conference on E-Education, E-Business and E-Technology, ICEBT 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131933, PAGES: 42-45
AUTHORS: Rei, A; Figueira, Á ; Oliveira, L ;
PUBLISHED: 2017, SOURCE: 2017 International Conference on E-Education, E-Business and E-Technology, ICEBT 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131933, PAGES: 42-45
999
TITLE: An architecture for a continuous and exploratory analysis on social media
AUTHORS: Cunha, D; Guimarães, N ; Figueira, A ;
PUBLISHED: 2017, SOURCE: 11th International Conferences on Computer Graphics, Visualization, Computer Vision and Image Processing, CGVCVIP 2017 and International Conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2017 in Proceedings of the International Conferences on Computer Graphics, Visualization, Computer Vision and Image Processing 2017 and Big Data Analytics, Data Mining and Computational Intelligence 2017 - Part of the Multi Conference on Computer Science and Information Systems 2017, PAGES: 339-342
AUTHORS: Cunha, D; Guimarães, N ; Figueira, A ;
PUBLISHED: 2017, SOURCE: 11th International Conferences on Computer Graphics, Visualization, Computer Vision and Image Processing, CGVCVIP 2017 and International Conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2017 in Proceedings of the International Conferences on Computer Graphics, Visualization, Computer Vision and Image Processing 2017 and Big Data Analytics, Data Mining and Computational Intelligence 2017 - Part of the Multi Conference on Computer Science and Information Systems 2017, PAGES: 339-342
INDEXED IN: 
Scopus
Scopus1000
TITLE: An Emotional Word Analyzer for Portuguese
AUTHORS: Maria Inês Maia; José Paulo Leal ;
PUBLISHED: 2017, SOURCE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PAGES: 17:1-17:14
AUTHORS: Maria Inês Maia; José Paulo Leal ;
PUBLISHED: 2017, SOURCE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PAGES: 17:1-17:14
INDEXED IN: Scopus DBLP
Scopus DBLP