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: 8455
531 Team MembersFilters -> Year: 2025
3421
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
3422
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
3423
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
3424
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
3425
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
DBLP3426
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
3427
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
3428
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
DBLP3429
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
3430
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
3431
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
3432
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
3433
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
3434
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 CrossRef3435
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
3436
TITLE: A Metaheuristic Approach to the Multi-Objective Unit Commitment Problem Combining Economic and Environmental Criteria Full Text
AUTHORS: Luis A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2017, SOURCE: ENERGIES, VOLUME: 10, ISSUE: 12, PAGES: 2029
AUTHORS: Luis A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2017, SOURCE: ENERGIES, VOLUME: 10, ISSUE: 12, PAGES: 2029
3437
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis Full Text
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLISHED: 2017, SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLISHED: 2017, SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668
3438
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
INDEXED IN: DBLP
DBLP3439
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1, PAGES: 9:1-9:20
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1, PAGES: 9:1-9:20
3440
TITLE: A multi-objective unit commitment problem combining economic and environmental criteria in a metaheuristic approach
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2017, SOURCE: 4th International Conference on Energy and Environment Research (ICEER) in 4TH INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT RESEARCH, ICEER 2017, VOLUME: 136, PAGES: 362-368
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2017, SOURCE: 4th International Conference on Energy and Environment Research (ICEER) in 4TH INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT RESEARCH, ICEER 2017, VOLUME: 136, PAGES: 362-368
