Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
1
TITLE: SGLT2i chronic treatment reduces cardiac hypertrophy and modulates left ventricle metabolome of a HFpEF animal model
AUTHORS: 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;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
AUTHORS: 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;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
INDEXED IN: 
WOS
WOS2
TITLE: Large Language Models for Explainable Threat Intelligence
AUTHORS: Dinis, Tiago; Tavares, Roger; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Dinis, Tiago; Tavares, Roger; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXED IN: 
Scopus WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP3
TITLE: Web 3 Data Matching for Blockchain-Supported Real Estate (position paper)
AUTHORS: Lin, Henrique; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Lin, Henrique; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP4
TITLE: Security and Privacy
AUTHORS: Miguel Correia; Luís Rodrigues;
PUBLISHED: 2024, SOURCE: Law, Governance and Technology Series, VOLUME: 58
AUTHORS: Miguel Correia; Luís Rodrigues;
PUBLISHED: 2024, SOURCE: Law, Governance and Technology Series, VOLUME: 58
INDEXED IN: Scopus
Scopus5
TITLE: 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
AUTHORS: 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; ...More
PUBLISHED: 2024, SOURCE: ESORICS Workshops (2), VOLUME: 14399
AUTHORS: 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; ...More
PUBLISHED: 2024, SOURCE: ESORICS Workshops (2), VOLUME: 14399
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: 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
AUTHORS: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 67, ISSUE: 10
AUTHORS: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 67, ISSUE: 10
INDEXED IN: WOS
WOS7
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, ISSUE: 1
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, ISSUE: 1
8
TITLE: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
INDEXED IN: WOS
WOS9
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
10
TITLE: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
INDEXED IN: WOS
WOS