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: 4455
56 Team MembersFilters -> Year: 2025
1301
TITLE: Trends and Innovations in Information Systems and Technologies. Volume 3
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020
INDEXED IN: 
Openlibrary
Openlibrary1302
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (1), VOLUME: 1159
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (1), VOLUME: 1159
INDEXED IN: 
DBLP
DBLP1303
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160
INDEXED IN: DBLP
DBLP1304
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (3), VOLUME: 1161
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (3), VOLUME: 1161
INDEXED IN: DBLP
DBLP1305
TITLE: Uma Ferramenta para Construção de Catálogos de Padrões de Requisitos com Comportamento
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: Anais do WER20 - Workshop em Engenharia de Requisitos, São José dos Campos, SP, Brasil, August 24-28, 2020.
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: Anais do WER20 - Workshop em Engenharia de Requisitos, São José dos Campos, SP, Brasil, August 24-28, 2020.
INDEXED IN: DBLP
DBLP1306
TITLE: Underground Train Tracking using Mobile Phone Accelerometer Data
AUTHORS: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLISHED: 2020, SOURCE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1-6
AUTHORS: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLISHED: 2020, SOURCE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1-6
1307
TITLE: Understanding the decisions of CNNs: An in-model approach Full Text
AUTHORS: Rio Torto, I ; Fernandes, K; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PAGES: 373-380
AUTHORS: Rio Torto, I ; Fernandes, K; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PAGES: 373-380
1308
TITLE: Understanding the Impact of Artificial Intelligence on Services
AUTHORS: Ferreira, P; Teixeira, JG ; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PAGES: 202-213
AUTHORS: Ferreira, P; Teixeira, JG ; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PAGES: 202-213
1309
TITLE: UnFOOT: Unsupervised Football Analytics Tool
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
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 III, VOLUME: 11908, PAGES: 786-789
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
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 III, VOLUME: 11908, PAGES: 786-789
1310
TITLE: Using autoencoders as a weight initialization method on deep neural networks for disease detection Full Text
AUTHORS: Ferreira, MF ; Camacho, R ; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, ISSUE: 5, PAGES: 141
AUTHORS: Ferreira, MF ; Camacho, R ; Teixeira, LF ;
PUBLISHED: 2020, SOURCE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, ISSUE: 5, PAGES: 141
1311
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
1312
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
1313
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
1314
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
1315
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1316
TITLE: Visual Sketching: From Image Sketches to Code
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP1317
TITLE: Visual sketching: From image sketches to code
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
INDEXED IN: Scopus
Scopus1318
TITLE: WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTHORS: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PAGES: 26
AUTHORS: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PAGES: 26
1319
TITLE: Welcome Message
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1320
TITLE: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
