Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4677

62 Team Members
Filters -> Year: 2026
1141
TITLE: Explanatory and Causal Analysis of the Portuguese Manual Balancing Reserve
AUTHORS: Goncalves, Carla ; Ribeiro, Miguel; Viana, Joao ; Fernandes, Renato ; Villar, Jose ; Bessa, Ricardo ; Correia, Goncalo; Sousa, Jose; Mendes, Virgilio; Nunes, Ana Cristina;
PUBLISHED: 2021, SOURCE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
1142
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: AppFM@FM, VOLUME: 349, PAGES: 77-84
1143
TITLE: Fatigued PageRank
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05369
1144
TITLE: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05364
1145
TITLE: FEEdBACk: An ICT-Based Platform to Increase Energy Efficiency through Buildings' Consumer Engagement
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 6, PAGES: 1524
1146
TITLE: Fixing vulnerabilities potentially hinders maintainability
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
1147
TITLE: Forecasting conditional extreme quantiles for wind energy
AUTHORS: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLISHED: 2021, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PAGES: 106636
1148
TITLE: Foreword VL/HCC 2021
AUTHORS: Kelleher, C; Cunha, J ; Oney, S;
PUBLISHED: 2021, SOURCE: 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
1149
1150
1151
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
1152
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
1153
TITLE: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 111-120
1154
TITLE: Game Adaptation by Using Reinforcement Learning Over Meta Games
AUTHORS: Reis, S ; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, ISSUE: 2, PAGES: 321-340
1155
TITLE: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: ISD
1156
TITLE: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTHORS: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: EuroVis (Short Papers), PAGES: 73-77
1157
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
1158
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
1159
TITLE: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTHORS: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLISHED: 2021, SOURCE: ERCIM NEWS, VOLUME: 2021, ISSUE: 126, PAGES: 18-19
1160
TITLE: How Can an Archive Be Characterized?
AUTHORS: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLISHED: 2021, SOURCE: TPDL, VOLUME: 12866 LNCS, PAGES: 118-122

Results per Page: 20.
Page 58 of 234. Total results: 4677.