Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4672
60 Team MembersFilters -> Year: 2026
1081
TÃTULO: Explainability Metrics of Deep Convolutional Networks for Photoplethysmography Quality Assessment
AUTORES: Zhang, O; Ding, C; Pereira, T ; Xiao, R; Gadhoumi, K; Meisel, K; Lee, RJ; Chen, YR; Hu, X;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9, PÁGINAS: 29736-29745
AUTORES: Zhang, O; Ding, C; Pereira, T ; Xiao, R; Gadhoumi, K; Meisel, K; Lee, RJ; Chen, YR; Hu, X;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9, PÁGINAS: 29736-29745
1082
TÃTULO: Explanatory and Causal Analysis of the Portuguese Manual Balancing Reserve
AUTORES: Goncalves, Carla ; Ribeiro, Miguel; Viana, Joao ; Fernandes, Renato ; Villar, Jose ; Bessa, Ricardo ; Correia, Goncalo; Sousa, Jose; Mendes, Virgilio; Nunes, Ana Cristina;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
AUTORES: Goncalves, Carla ; Ribeiro, Miguel; Viana, Joao ; Fernandes, Renato ; Villar, Jose ; Bessa, Ricardo ; Correia, Goncalo; Sousa, Jose; Mendes, Virgilio; Nunes, Ana Cristina;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
1083
TÃTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PÁGINAS: 77-84
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PÁGINAS: 77-84
1084
TÃTULO: Fatigued PageRank
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05369
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05369
1085
TÃTULO: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05364
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05364
1086
TÃTULO: FEEdBACk: An ICT-Based Platform to Increase Energy Efficiency through Buildings' Consumer Engagement
AUTORES: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 6, PÁGINAS: 1524
AUTORES: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 6, PÁGINAS: 1524
1087
TÃTULO: Fixing vulnerabilities potentially hinders maintainability
AUTORES: Reis, S; Abreu, R ; Cruz, L;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 6
AUTORES: Reis, S; Abreu, R ; Cruz, L;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 6
1088
TÃTULO: Forecasting conditional extreme quantiles for wind energy
AUTORES: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLICAÇÃO: 2021, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PÁGINAS: 106636
AUTORES: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLICAÇÃO: 2021, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PÁGINAS: 106636
1089
TÃTULO: Foreword VL/HCC 2021
AUTORES: Kelleher, C; Cunha, J ; Oney, S;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2010-October
AUTORES: Kelleher, C; Cunha, J ; Oney, S;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2010-October
1090
TÃTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
1091
TÃTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
1092
TÃTULO: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
1093
TÃTULO: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTORES: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PÁGINAS: 102-105
AUTORES: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PÁGINAS: 102-105
1094
TÃTULO: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTORES: Silva, HD ; Soares, AL ;
PUBLICAÇÃO: 2021, FONTE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PÁGINAS: 111-120
AUTORES: Silva, HD ; Soares, AL ;
PUBLICAÇÃO: 2021, FONTE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PÁGINAS: 111-120
1095
TÃTULO: Game Adaptation by Using Reinforcement Learning Over Meta Games
AUTORES: Reis, S ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, NÚMERO: 2, PÁGINAS: 321-340
AUTORES: Reis, S ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, NÚMERO: 2, PÁGINAS: 321-340
1096
TÃTULO: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTORES: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLICAÇÃO: 2021, FONTE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
AUTORES: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLICAÇÃO: 2021, FONTE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
1097
TÃTULO: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTORES: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PÁGINAS: 73-77
AUTORES: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PÁGINAS: 73-77
1098
TÃTULO: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
1099
TÃTULO: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTORES: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 12, PÁGINAS: 2013-2014
AUTORES: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 12, PÁGINAS: 2013-2014
1100
TÃTULO: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTORES: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLICAÇÃO: 2021, FONTE: ERCIM NEWS, VOLUME: 2021, NÚMERO: 126, PÁGINAS: 18-19
AUTORES: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLICAÇÃO: 2021, FONTE: ERCIM NEWS, VOLUME: 2021, NÚMERO: 126, PÁGINAS: 18-19