Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4710
62 Team MembersFilters -> Year: 2026
1381
TÃTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PÁGINAS: 61-77
AUTORES: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PÁGINAS: 61-77
1382
TÃTULO: Experimenting with Liveness in Cloud Infrastructure Management
AUTORES: Lourenço, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 58-82
AUTORES: Lourenço, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 58-82
1383
TÃTULO: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture
AUTORES: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLICAÇÃO: 2020, FONTE: ELECTRONICS, VOLUME: 9, NÚMERO: 5, PÁGINAS: 843
AUTORES: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLICAÇÃO: 2020, FONTE: ELECTRONICS, VOLUME: 9, NÚMERO: 5, PÁGINAS: 843
1384
TÃTULO: Exploring communication protocols and centralized critics in multi-agent deep learning
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 27, NÚMERO: 4, PÁGINAS: 333-351
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 27, NÚMERO: 4, PÁGINAS: 333-351
1385
TÃTULO: Exploring NLP and Information Extraction to Jointly Address Question Generation and Answering
AUTORES: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: AIAI (2), VOLUME: 584 IFIP, PÁGINAS: 396-407
AUTORES: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: AIAI (2), VOLUME: 584 IFIP, PÁGINAS: 396-407
1386
TÃTULO: Factors influencing the intention of managers to adopt collaborative robots (cobots) in manufacturing organizations
AUTORES: Ana Correia Simoes ; Antonio Lucas Soares ; Ana Cristina Barros ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ENGINEERING AND TECHNOLOGY MANAGEMENT, VOLUME: 57, PÁGINAS: 101574
AUTORES: Ana Correia Simoes ; Antonio Lucas Soares ; Ana Cristina Barros ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ENGINEERING AND TECHNOLOGY MANAGEMENT, VOLUME: 57, PÁGINAS: 101574
1387
TÃTULO: Factual Question Generation for the Portuguese Language
AUTORES: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: INISTA, PÁGINAS: 1-7
AUTORES: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: INISTA, PÁGINAS: 1-7
1388
TÃTULO: Failed software startups postmortem URLs
AUTORES: Jorge Melegati ; Henry Edison; Xiaofeng Wang;
PUBLICAÇÃO: 2020
AUTORES: Jorge Melegati ; Henry Edison; Xiaofeng Wang;
PUBLICAÇÃO: 2020
1389
TÃTULO: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTORES: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, NÚMERO: 4, PÁGINAS: 351-360
AUTORES: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, NÚMERO: 4, PÁGINAS: 351-360
1390
TÃTULO: Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles
AUTORES: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLICAÇÃO: 2020, FONTE: ICCS (1), VOLUME: 12137 LNCS, PÁGINAS: 471-485
AUTORES: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLICAÇÃO: 2020, FONTE: ICCS (1), VOLUME: 12137 LNCS, PÁGINAS: 471-485
1391
TÃTULO: FILLET - Platform for Intelligent Nutrition
AUTORES: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLICAÇÃO: 2020, FONTE: AICCSA, VOLUME: 2020-November, PÁGINAS: 1-8
AUTORES: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLICAÇÃO: 2020, FONTE: AICCSA, VOLUME: 2020-November, PÁGINAS: 1-8
1392
TÃTULO: Filling Missing Values in Spatial-temporal Data Collected from Traffic Sensors
AUTORES: Fábio Oliveira; Ana Paula Rocha ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
AUTORES: Fábio Oliveira; Ana Paula Rocha ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
1393
TÃTULO: Foreword
AUTORES: Kadi Bouatouch; Augusto A Sousa ; Jose Braz;
PUBLICAÇÃO: 2020, FONTE: Visigrapp 2020 Proceedings of the 15th International Joint Conference on Computer Vision Imaging and Computer Graphics Theory and Applications, VOLUME: 1
AUTORES: Kadi Bouatouch; Augusto A Sousa ; Jose Braz;
PUBLICAÇÃO: 2020, FONTE: Visigrapp 2020 Proceedings of the 15th International Joint Conference on Computer Vision Imaging and Computer Graphics Theory and Applications, VOLUME: 1
1394
TÃTULO: Formative Assessment and Digital Tools in a School Context
AUTORES: Paiva, S; Reis, LP ; Raquel, L;
PUBLICAÇÃO: 2020, FONTE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, VOLUME: 1161, PÁGINAS: 271-283
AUTORES: Paiva, S; Reis, LP ; Raquel, L;
PUBLICAÇÃO: 2020, FONTE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, VOLUME: 1161, PÁGINAS: 271-283
1395
TÃTULO: Forming intersectoral partnerships for social innovation in Portugal [O processo de formação de parcerias intersetoriais em iniciativas de inovação social em Portugal]
AUTORES: Borges, MA; Dandolini, GA; Soares, AL ;
PUBLICAÇÃO: 2020, FONTE: Analise Social, VOLUME: 55, NÚMERO: 234, PÁGINAS: 118-143
AUTORES: Borges, MA; Dandolini, GA; Soares, AL ;
PUBLICAÇÃO: 2020, FONTE: Analise Social, VOLUME: 55, NÚMERO: 234, PÁGINAS: 118-143
1396
TÃTULO: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTORES: Torres, MF ; Flores, N ; Torres, RT;
PUBLICAÇÃO: 2020, FONTE: Journal of Innovation Management, VOLUME: 8, NÚMERO: 1, PÁGINAS: 20-38
AUTORES: Torres, MF ; Flores, N ; Torres, RT;
PUBLICAÇÃO: 2020, FONTE: Journal of Innovation Management, VOLUME: 8, NÚMERO: 1, PÁGINAS: 20-38
1397
TÃTULO: Fraunhofer AICOS at CLEF eHealth 2020 Task 1: Clinical Code Extraction From Textual Data Using Fine-Tuned BERT Models
AUTORES: João Costa; Inês Lopes; André V Carreiro; David Ribeiro; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: CLEF (Working Notes)
AUTORES: João Costa; Inês Lopes; André V Carreiro; David Ribeiro; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: CLEF (Working Notes)
1398
TÃTULO: From mobility data to habits and common pathways
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: EXPERT SYSTEMS, VOLUME: 37, NÚMERO: 6
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: EXPERT SYSTEMS, VOLUME: 37, NÚMERO: 6
1399
TÃTULO: From Reinforcement Learning Towards Artificial General Intelligence
AUTORES: Rocha, FM; Costa, VS ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 1160, PÁGINAS: 401-413
AUTORES: Rocha, FM; Costa, VS ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 1160, PÁGINAS: 401-413
1400
TÃTULO: From Requirements to Automated Acceptance Tests with the RSL Language
AUTORES: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 39-57
AUTORES: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 39-57
