CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8461
531 Team MembersFilters -> Year: 2025
3421
TITLE: Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems Full Text
AUTHORS: Balador, A; Kouba, A; Cassioli, D; Foukalas, F; Severino, R ; Stepanova, D; Agosta, G; Xie, J; Pomante, L; Mongelli, M; Pierini, P; Petersen, S; Sukuvaara, T;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 11, PAGES: 4075
AUTHORS: Balador, A; Kouba, A; Cassioli, D; Foukalas, F; Severino, R ; Stepanova, D; Agosta, G; Xie, J; Pomante, L; Mongelli, M; Pierini, P; Petersen, S; Sukuvaara, T;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 11, PAGES: 4075
3422
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
3423
TITLE: 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2017, Porto, Portugal, 21-23 June, 2017
AUTHORS: Florentino Fdez Riverola; Mohd Saberi Mohamad; Miguel P Rocha; Juan F De Paz; Tiago Pinto ;
PUBLISHED: 2017, SOURCE: PACBB, VOLUME: 616
AUTHORS: Florentino Fdez Riverola; Mohd Saberi Mohamad; Miguel P Rocha; Juan F De Paz; Tiago Pinto ;
PUBLISHED: 2017, SOURCE: PACBB, VOLUME: 616
INDEXED IN: 
DBLP
DBLP3424
TITLE: 2016 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI), November 24 and 25, 2016, Covilhã, Portugal: Preface [Prefácio]
AUTHORS: Gonçalves, D; Bessa, M ;
PUBLISHED: 2017, SOURCE: 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016 - 23rd Portuguese Meeting on Computer Graphics and Interaction, EPCGI 2016 in 2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
AUTHORS: Gonçalves, D; Bessa, M ;
PUBLISHED: 2017, SOURCE: 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016 - 23rd Portuguese Meeting on Computer Graphics and Interaction, EPCGI 2016 in 2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
INDEXED IN: 
Scopus
Scopus3425
TITLE: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís Pessoa ; Henrique Salgado;
PUBLISHED: 2017, SOURCE: Wireless Days
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís Pessoa ; Henrique Salgado;
PUBLISHED: 2017, SOURCE: Wireless Days
INDEXED IN: DBLP
DBLP3426
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
DBLP3427
TITLE: A bifurcation theorem for evolutionary matrix models with multiple traits Full Text
AUTHORS: Cushing, JM; Martins, F ; Pinto, AA ; Amy Veprauskas;
PUBLISHED: 2017, SOURCE: JOURNAL OF MATHEMATICAL BIOLOGY, VOLUME: 75, ISSUE: 2, PAGES: 491-520
AUTHORS: Cushing, JM; Martins, F ; Pinto, AA ; Amy Veprauskas;
PUBLISHED: 2017, SOURCE: JOURNAL OF MATHEMATICAL BIOLOGY, VOLUME: 75, ISSUE: 2, PAGES: 491-520
3428
TITLE: A comparison of research data management platforms: architecture, flexible metadata and interoperability Full Text
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, ISSUE: 4, PAGES: 851-862
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, ISSUE: 4, PAGES: 851-862
3429
TITLE: A Computer Platform to Increase Motivation in Programming Students - PEP
AUTHORS: Tavares, PC; Henriques, PR ; Gomes, EF ;
PUBLISHED: 2017, SOURCE: 9th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION (CSEDU), VOL 1, VOLUME: 1, PAGES: 284-291
AUTHORS: Tavares, PC; Henriques, PR ; Gomes, EF ;
PUBLISHED: 2017, SOURCE: 9th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION (CSEDU), VOL 1, VOLUME: 1, PAGES: 284-291
3430
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
3431
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
DBLP3432
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
3433
TITLE: A Feature-Based Classification of Model Repair Approaches Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
3434
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
INDEXED IN: DBLP
DBLP3435
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
3436
TITLE: A full scope web accessibility evaluation procedure proposal based on Iberian eHealth accessibility compliance Full Text
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
3437
TITLE: A global perspective on an emotional learning model proposal Full Text
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
3438
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
3439
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
3440
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 CrossRef