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: 4677
62 Team MembersFilters -> Year: 2026
1401
TITLE: Live Software Development Environment Using Virtual Reality: A Prototype and Experiment
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, R ; Correia, FF ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 83-107
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, R ; Correia, FF ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 83-107
1402
TITLE: Live software inspection and refactoring
AUTHORS: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLISHED: 2020, SOURCE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PAGES: 1-10
AUTHORS: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLISHED: 2020, SOURCE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PAGES: 1-10
INDEXED IN: 
Scopus
Scopus1403
TITLE: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 167172-167191
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 167172-167191
1404
TITLE: Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial
AUTHORS: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLISHED: 2020, SOURCE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PAGES: 123-126
AUTHORS: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLISHED: 2020, SOURCE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PAGES: 123-126
INDEXED IN: 
CrossRef
CrossRef1405
1406
TITLE: Management of Research Data in Image Format: An Exploratory Study on Current Practices
AUTHORS: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: TPDL, VOLUME: 12246 LNCS, PAGES: 212-226
AUTHORS: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: TPDL, VOLUME: 12246 LNCS, PAGES: 212-226
1407
TITLE: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
1408
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
1409
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
Scopus1410
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
Scopus1411
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 CrossRef1412
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
DBLP arXiv1413
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
1414
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
1415
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
1417
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
1418
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
1419
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
1420
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
