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: 2766
43 Team MembersFilters -> Year: 2025
1101
TITLE: Video Dissemination in Untethered Edge-Clouds: A Case Study
AUTHORS: Joao Rodrigues ; Eduardo R B Marques ; Joaquim Silva ; Luis M B Lopes ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as Part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), VOLUME: 10853, PAGES: 137-152
AUTHORS: Joao Rodrigues ; Eduardo R B Marques ; Joaquim Silva ; Luis M B Lopes ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as Part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), VOLUME: 10853, PAGES: 137-152
1102
TITLE: Witness Hiding Without Extractors or Simulators
AUTHORS: Andre Souto ; Luis Antunes ; Paulo Mateus; Andreia Teixeira ;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936, PAGES: 397-409
AUTHORS: Andre Souto ; Luis Antunes ; Paulo Mateus; Andreia Teixeira ;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936, PAGES: 397-409
1103
TITLE: YAKE! Collection-Independent Automatic Keyword Extractor
AUTHORS: Ricardo Campos ; Vitor Mangaravite ; Arian Pasquali ; Alipio Mario Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 806-810
AUTHORS: Ricardo Campos ; Vitor Mangaravite ; Arian Pasquali ; Alipio Mario Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 806-810
1104
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
DBLP1105
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
DBLP1107
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
1108
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
1109
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
1110
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
DBLP1111
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
1112
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 arXiv1113
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
1114
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
1115
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 CrossRef1116
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
1117
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
1118
TITLE: A qualitative research evaluation of a Portuguese computerized cancer registry
AUTHORS: Santos Pereira, C ; Cruz Correia, R ; Brito, AC ; Augusto, AB; Correia, ME ; 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; Correia, ME ; 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)
1119
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
1120
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
DBLP