Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4142
50 Team MembersFilters -> Year: 2025
1041
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PAGES: 173-191
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PAGES: 173-191
1042
TITLE: Message from TAIC PART Chairs
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
INDEXED IN: 
Scopus
Scopus1043
TITLE: Message from the General Chairs
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
INDEXED IN: Scopus
Scopus1044
TITLE: Message from the General Chairs: SBAC-PAD 2020 Full Text
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1045
TITLE: Modelling Smart Cities Through Socio-Technical Systems
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-8
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-8
1048
TITLE: Multimodal Intelligent Wheelchair Interface
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 679-689
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 679-689
1049
TITLE: Multiple fault localization of software programs: A systematic literature review Full Text
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PAGES: 106312
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PAGES: 106312
1050
TITLE: Objective Evaluation of Tonal Fitness for Chord Progressions Using the Tonal Interval Space
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of EvoStar 2020 in Artificial Intelligence in Music, Sound, Art and Design - 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings, VOLUME: 12103, PAGES: 150-164
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of EvoStar 2020 in Artificial Intelligence in Music, Sound, Art and Design - 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings, VOLUME: 12103, PAGES: 150-164
1051
TITLE: Off-the-shelf Components for Quantum Programming and Testing PDF
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705, PAGES: 14-19
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705, PAGES: 14-19
INDEXED IN: Scopus 
DBLP
Scopus DBLP1052
TITLE: On Document Representations for Detection of Biased News Articles
AUTHORS: Cruz, AF; Rocha, G ; Cardoso, HL ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 892-899
AUTHORS: Cruz, AF; Rocha, G ; Cardoso, HL ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 892-899
1053
TITLE: On the development of a component model for the realization of Industry 4.0
AUTHORS: Luís Neto; Gil Gonçalves ; Pedro M B Torres; Rogério Dionísio ;
PUBLISHED: 2020, SOURCE: 3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020 in IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020, PAGES: 481-486
AUTHORS: Luís Neto; Gil Gonçalves ; Pedro M B Torres; Rogério Dionísio ;
PUBLISHED: 2020, SOURCE: 3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020 in IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020, PAGES: 481-486
1054
TITLE: On Understanding Data Scientists
AUTHORS: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2020 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2020), VOLUME: 2020-August, PAGES: 1-5
AUTHORS: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2020 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2020), VOLUME: 2020-August, PAGES: 1-5
1055
TITLE: Online Geocoding of Millions of Economic Operators
AUTHORS: Tiago Santos; Daniel Castro Silva ; Ana Paula Rocha ; Henrique Lopes Cardoso ; Luís Paulo Reis ; Ana Cristina Caldeira; Ana Oliveira;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 426-435
AUTHORS: Tiago Santos; Daniel Castro Silva ; Ana Paula Rocha ; Henrique Lopes Cardoso ; Luís Paulo Reis ; Ana Cristina Caldeira; Ana Oliveira;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 426-435
1056
TITLE: Optimizing OpenCL Code for Performance on FPGA: k-Means Case Study With Integer Data Sets
AUTHORS: Paulino, N ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 152286-152304
AUTHORS: Paulino, N ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 152286-152304
1057
TITLE: Orofacial Trauma on the Anterior Zone of a Trumpet's Player Maxilla: Concept of the Oral Rehabilitation-A Case Report Full Text
AUTHORS: Miguel Pais Clemente ; Andre Moreira; Nadia Carvalho ; Gilberto Bernardes ; Afonso Pinhao Ferreira; Jose Manuel Amarante ; Joaquim Mendes ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 17, ISSUE: 24, PAGES: 1-19
AUTHORS: Miguel Pais Clemente ; Andre Moreira; Nadia Carvalho ; Gilberto Bernardes ; Afonso Pinhao Ferreira; Jose Manuel Amarante ; Joaquim Mendes ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 17, ISSUE: 24, PAGES: 1-19
1058
TITLE: Overcoming Reinforcement Learning Limits with Inductive Logic Programming
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 414-423
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 414-423
1059
TITLE: Overviewing the liveness of refactoring for energy efficiency
AUTHORS: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 211-212
AUTHORS: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 211-212
1060
TITLE: Perspectives of Visually Impaired Visitors on Museums: Towards an Integrative and Multisensory Framework to Enhance the Museum Experience
AUTHORS: Roberto Vaz ; Diamantino Freitas; António Coelho ;
PUBLISHED: 2020, SOURCE: DSAI 2020: 9th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, Virtual Event, Portugal, December 2-4, 2020., PAGES: 17-21
AUTHORS: Roberto Vaz ; Diamantino Freitas; António Coelho ;
PUBLISHED: 2020, SOURCE: DSAI 2020: 9th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, Virtual Event, Portugal, December 2-4, 2020., PAGES: 17-21
