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: 10711
536 Team MembersFilters -> Year: 2026
4061
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: INTERACT (2), VOLUME: 11747 LNCS, PAGES: 406-426
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: INTERACT (2), VOLUME: 11747 LNCS, PAGES: 406-426
4062
TITLE: Fast Heuristic-Based GPU Compiler Sequence Specialization
AUTHORS: Nobre, R; Reis, L ; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
AUTHORS: Nobre, R; Reis, L ; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
4063
TITLE: Feature-enriched author ranking in incomplete networks
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
4064
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: COMPLEX NETWORKS (1), VOLUME: 881 SCI, PAGES: 77-89
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: COMPLEX NETWORKS (1), VOLUME: 881 SCI, PAGES: 77-89
4065
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Santos, L; Rabadao, C ; Gonçalves, R ;
PUBLISHED: 2019, SOURCE: NEW KNOWLEDGE IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 931, PAGES: 420-430
AUTHORS: Santos, L; Rabadao, C ; Gonçalves, R ;
PUBLISHED: 2019, SOURCE: NEW KNOWLEDGE IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 931, PAGES: 420-430
4066
TITLE: FORMAÇÃO CONTINUADA EM CONTEXTO HÍBRIDO E MULTIMODAL: RESSIGNIFICANDO PRÁTICAS PEDAGÓGICAS POR MEIO DE PROJETOS DE APRENDIZAGEM GAMIFICADOS
AUTHORS: Maria Elisabete Bersch; Eliane Schlemmer ;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 71-92
AUTHORS: Maria Elisabete Bersch; Eliane Schlemmer ;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 71-92
INDEXED IN: 
CrossRef
CrossRef4067
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef 
Openlibrary
CrossRef Openlibrary4068
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
4069
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP4070
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Maciel, D; Paiva, ACR ; da Silva, AR ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
AUTHORS: Maciel, D; Paiva, ACR ; da Silva, AR ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
4071
TITLE: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTHORS: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
AUTHORS: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
4072
TITLE: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTHORS: Ferreira, Flora ; Gago, MF; Bicho, E ; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N ; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PAGES: 98-104
AUTHORS: Ferreira, Flora ; Gago, MF; Bicho, E ; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N ; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PAGES: 98-104
4073
TITLE: Gamificação de uma plataforma social académica numa universidade de ensino a distância
AUTHORS: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLISHED: 2019
AUTHORS: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLISHED: 2019
INDEXED IN: 
Handle
Handle4074
TITLE: Gender differences in competition: gender equality and cost reduction policies
AUTHORS: António Osório ;
PUBLISHED: 2019, SOURCE: Review of Economic Design, VOLUME: 23, ISSUE: 1-2, PAGES: 27-52
AUTHORS: António Osório ;
PUBLISHED: 2019, SOURCE: Review of Economic Design, VOLUME: 23, ISSUE: 1-2, PAGES: 27-52
INDEXED IN: Scopus CrossRef
Scopus CrossRef4075
TITLE: Generalising KAT to Verify Weighted Computations Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
4076
TITLE: Generating a Binary Symmetric Channel for Wiretap Codes
AUTHORS: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, ISSUE: 8, PAGES: 2128-2138
AUTHORS: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, ISSUE: 8, PAGES: 2128-2138
4077
TITLE: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTHORS: Santos, MS ; Pereira, RC ; Costa, AF; Soares, JP; Santos, J ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 11651-11667
AUTHORS: Santos, MS ; Pereira, RC ; Costa, AF; Soares, JP; Santos, J ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 11651-11667
4078
TITLE: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTHORS: Miriam Seoane Santos ; Ricardo Cardoso Pereira ; Adriana Fonseca Costa; Jastin Pompeu Soares; João A M Santos; Pedro Henriques Abreu ;
PUBLISHED: 2019, SOURCE: IEEE Access, VOLUME: 7, PAGES: 11651-11667
AUTHORS: Miriam Seoane Santos ; Ricardo Cardoso Pereira ; Adriana Fonseca Costa; Jastin Pompeu Soares; João A M Santos; Pedro Henriques Abreu ;
PUBLISHED: 2019, SOURCE: IEEE Access, VOLUME: 7, PAGES: 11651-11667
INDEXED IN: DBLP
DBLP4079
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2019, SOURCE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PAGES: 1823-1829
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2019, SOURCE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PAGES: 1823-1829
4080
TITLE: Genetic fuzzy rule-based system using MOGUL learning methodology for energy consumption forecasting
AUTHORS: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z ;
PUBLISHED: 2019, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 55-64
AUTHORS: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z ;
PUBLISHED: 2019, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 55-64
