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: 4625
61 Team MembersFilters -> Year: 2026
1361
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: SBMF, PAGES: 173-191
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: SBMF, PAGES: 173-191
1362
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
1363
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
1364
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
CrossRef1365
TITLE: Metamodel Quality Requirements and Evaluation (MQuaRE) PDF
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09459
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09459
INDEXED IN:
DBLP
arXiv
1366
TITLE: Mining Human Mobility Data to Discover Locations and Habits
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PAGES: 390-401
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PAGES: 390-401
1367
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: ISC2, PAGES: 1-8
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-8
1368
TITLE: MULTI AGENT DEEP LEARNING WITH COOPERATIVE COMMUNICATION
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, ISSUE: 3, PAGES: 189-207
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, ISSUE: 3, PAGES: 189-207
1369
TITLE: Multi-agent actor centralized-critic with communication
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: NEUROCOMPUTING, VOLUME: 390, PAGES: 40-56
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: NEUROCOMPUTING, VOLUME: 390, PAGES: 40-56
1370
TITLE: Multimodal Intelligent Wheelchair Interface
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 679-689
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 679-689
1371
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
1372
TITLE: MVP and experimentation in software startups: a qualitative survey
AUTHORS: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLISHED: 2020, SOURCE: SEAA, PAGES: 322-325
AUTHORS: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLISHED: 2020, SOURCE: SEAA, PAGES: 322-325
1373
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: EvoMUSART, VOLUME: 12103 LNCS, PAGES: 150-164
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: EvoMUSART, VOLUME: 12103 LNCS, PAGES: 150-164
1374
TITLE: Off-the-shelf Components for Quantum Programming and Testing
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Q-SET@QCE, VOLUME: 2705, PAGES: 14-19
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Q-SET@QCE, VOLUME: 2705, PAGES: 14-19
INDEXED IN:
Scopus
DBLP
1375
TITLE: On Document Representations for Detection of Biased News Articles
AUTHORS: Cruz, AF; Gil Rocha ; 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; Gil Rocha ; 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
1376
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: ICPS, PAGES: 481-486
AUTHORS: Luís Neto; Gil Gonçalves ; Pedro M B Torres; Rogério Dionísio ;
PUBLISHED: 2020, SOURCE: ICPS, PAGES: 481-486
1377
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
1378
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: WorldCIST (1), VOLUME: 1159 AISC, 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: WorldCIST (1), VOLUME: 1159 AISC, PAGES: 426-435
1379
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
1380
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