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: 8139
531 Team MembersFilters -> Year: 2024
2401
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 532-544
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 532-544
INDEXED IN: 
DBLP
DBLP2402
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: 17th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2019 in Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II, VOLUME: 11747, PAGES: 406-426
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: 17th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2019 in Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II, VOLUME: 11747, PAGES: 406-426
2403
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
2404
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
2405
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2019 in Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019., VOLUME: 881, PAGES: 77-89
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2019 in Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019., VOLUME: 881, PAGES: 77-89
2406
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Leonel Santos; Carlos Rabadão ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 420-430
AUTHORS: Leonel Santos; Carlos Rabadão ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 420-430
2407
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
2408
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
2409
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
INDEXED IN: 
Scopus DBLP
Scopus DBLP2410
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
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: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
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
2411
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
2412
TITLE: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTHORS: Ferreira, F ; 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, F ; 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
2413
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
2414
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
2415
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
2416
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
2417
TITLE: Gesture based alternative to control recreational UAV
AUTHORS: Ribeiro, R; Safadinho, D; Ramos, J; Rodrigues, N; Reis, A ; Pereira, A;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 34-44
AUTHORS: Ribeiro, R; Safadinho, D; Ramos, J; Rodrigues, N; Reis, A ; Pereira, A;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 34-44
2418
TITLE: Get Your Spreadsheets Under (Version) Control
AUTHORS: José Nuno Macedo; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PAGES: 100-113
AUTHORS: José Nuno Macedo; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PAGES: 100-113
INDEXED IN: Scopus DBLP
Scopus DBLP2419
TITLE: Graph-Based Code Restructuring Targeting HLS for FPGAs
AUTHORS: Afonso Canas Ferreira; João M P Cardoso ;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Applied Reconfigurable Computing, ARC 2019 in Applied Reconfigurable Computing - 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings, VOLUME: 11444, PAGES: 230-244
AUTHORS: Afonso Canas Ferreira; João M P Cardoso ;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Applied Reconfigurable Computing, ARC 2019 in Applied Reconfigurable Computing - 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings, VOLUME: 11444, PAGES: 230-244
2420
TITLE: Graph-of-Entity: A Model for Combined Data Representation and Retrieval
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 1:1-1:14
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 1:1-1:14
INDEXED IN: Scopus DBLP
Scopus DBLP