Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
1
TÃTULO: SGLT2i chronic treatment reduces cardiac hypertrophy and modulates left ventricle metabolome of a HFpEF animal model
AUTORES: Alves, M. Nuno; Morana Fernandez, S.; Rodrigues, A.; Goncalves, A.; Araujo, M.; Morais, J.; Mendes, C.; Silva, C.; Ferreira, J.; Moreira, A. Leite; Falcao Pires, I;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
AUTORES: Alves, M. Nuno; Morana Fernandez, S.; Rodrigues, A.; Goncalves, A.; Araujo, M.; Morais, J.; Mendes, C.; Silva, C.; Ferreira, J.; Moreira, A. Leite; Falcao Pires, I;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
INDEXADO EM:
WOS
2
TÃTULO: Large Language Models for Explainable Threat Intelligence
AUTORES: Dinis, Tiago; Tavares, Roger; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTORES: Dinis, Tiago; Tavares, Roger; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
3
TÃTULO: Web 3 Data Matching for Blockchain-Supported Real Estate (position paper)
AUTORES: Lin, Henrique; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTORES: Lin, Henrique; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
4
TÃTULO: Security and Privacy
AUTORES: Miguel Correia; Luís Rodrigues;
PUBLICAÇÃO: 2024, FONTE: Law, Governance and Technology Series, VOLUME: 58
AUTORES: Miguel Correia; Luís Rodrigues;
PUBLICAÇÃO: 2024, FONTE: Law, Governance and Technology Series, VOLUME: 58
INDEXADO EM:
Scopus
5
TÃTULO: Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
AUTORES: Sokratis K Katsikas; Habtamu Abie; Silvio Ranise; Luca Verderame; Enrico Cambiaso; Rita Maria Ugarelli; Isabel Praça; Wenjuan Li; Weizhi Meng; Steven Furnell; Basel Katt; Sandeep Pirbhulal; Ankur Shukla; Michele Ianni; Mila Dalla Preda; Kim Kwang Raymond Choo; Miguel Pupo Correia; Abhishta Abhishta; Giovanni Sileno; Mina Alishahi; ...Mais
PUBLICAÇÃO: 2024, FONTE: ESORICS Workshops (2), VOLUME: 14399
AUTORES: Sokratis K Katsikas; Habtamu Abie; Silvio Ranise; Luca Verderame; Enrico Cambiaso; Rita Maria Ugarelli; Isabel Praça; Wenjuan Li; Weizhi Meng; Steven Furnell; Basel Katt; Sandeep Pirbhulal; Ankur Shukla; Michele Ianni; Mila Dalla Preda; Kim Kwang Raymond Choo; Miguel Pupo Correia; Abhishta Abhishta; Giovanni Sileno; Mina Alishahi; ...Mais
PUBLICAÇÃO: 2024, FONTE: ESORICS Workshops (2), VOLUME: 14399
INDEXADO EM:
DBLP
NO MEU:
DBLP
6
TÃTULO: A deep dive into blockchain interoperability: why it is needed, progress that has been made over the past decade, how it is currently deployed and used, and likely paths of future development Full Text
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
INDEXADO EM:
WOS
7
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
8
TÃTULO: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
INDEXADO EM:
WOS
9
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
10
TÃTULO: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2023, FONTE: ACTA MEDICA PORTUGUESA, VOLUME: 36, NÚMERO: 5
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2023, FONTE: ACTA MEDICA PORTUGUESA, VOLUME: 36, NÚMERO: 5
INDEXADO EM:
WOS