Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering                
                
                
                AuthID: I-000-0K9            Publications Count: 4455
56 Team MembersFilters -> Year: 2025
1301
TÃTULO:  Trends and Innovations in Information Systems and Technologies. Volume 3
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020
1302
TÃTULO:  Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (1), VOLUME: 1159
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (1), VOLUME: 1159
1303
TÃTULO:  Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (2), VOLUME: 1160
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (2), VOLUME: 1160
1304
TÃTULO:  Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (3), VOLUME: 1161
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (3), VOLUME: 1161
1305
TÃTULO:  Uma Ferramenta para Construção de Catálogos de Padrões de Requisitos com Comportamento
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: Anais do WER20 - Workshop em Engenharia de Requisitos, São José dos Campos, SP, Brasil, August 24-28, 2020.
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: Anais do WER20 - Workshop em Engenharia de Requisitos, São José dos Campos, SP, Brasil, August 24-28, 2020.
1306
TÃTULO:  Underground Train Tracking using Mobile Phone Accelerometer Data
AUTORES: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLICAÇÃO: 2020, FONTE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1-6
AUTORES: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLICAÇÃO: 2020, FONTE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1-6
1307
TÃTULO:  Understanding the decisions of CNNs: An in-model approach
AUTORES: Rio Torto, I ; Fernandes, K; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PÁGINAS: 373-380
AUTORES: Rio Torto, I ; Fernandes, K; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PÁGINAS: 373-380
1308
TÃTULO:  Understanding the Impact of Artificial Intelligence on Services
AUTORES: Ferreira, P; Teixeira, JG ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PÁGINAS: 202-213
AUTORES: Ferreira, P; Teixeira, JG ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PÁGINAS: 202-213
1309
TÃTULO:  UnFOOT: Unsupervised Football Analytics Tool
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 786-789
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 786-789
1310
TÃTULO:  Using autoencoders as a weight initialization method on deep neural networks for disease detection
AUTORES: Ferreira, MF ; Camacho, R ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 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, NÚMERO: 5, PÁGINAS: 141
AUTORES: Ferreira, MF ; Camacho, R ; Teixeira, LF ;
PUBLICAÇÃO: 2020, FONTE: 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, NÚMERO: 5, PÁGINAS: 141
1311
TÃTULO:  Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 318-334
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 318-334
1312
TÃTULO:  Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
1313
TÃTULO:  Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
1314
TÃTULO:  Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 357-370
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: 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, PÁGINAS: 357-370
1315
TÃTULO:  Visual sketching. from image sketches to code
AUTORES: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
AUTORES: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1316
TÃTULO:  Visual Sketching: From Image Sketches to Code
AUTORES: d'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 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), PÁGINAS: 101-104
AUTORES: d'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 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), PÁGINAS: 101-104
1317
TÃTULO:  Visual sketching: From image sketches to code
AUTORES: D'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PÁGINAS: 101-104
AUTORES: D'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PÁGINAS: 101-104
1318
TÃTULO:  WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTORES: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PÁGINAS: 26
AUTORES: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PÁGINAS: 26
1319
TÃTULO:  Welcome Message
AUTORES: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
AUTORES: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
1320
TÃTULO:  Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2020, FONTE: International Journal of Machine Learning and Computing, VOLUME: 10, NÚMERO: 1, PÁGINAS: 140-147
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2020, FONTE: International Journal of Machine Learning and Computing, VOLUME: 10, NÚMERO: 1, PÁGINAS: 140-147
