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
WOS2
TÃTULO: Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper)
AUTORES: Carapau, Rodolfo; Augusto, Andre; Vasconcelos, Andre; 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: Carapau, Rodolfo; Augusto, Andre; Vasconcelos, Andre; 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
Scopus WOS DBLP NO MEU: DBLP
DBLP3
TÃTULO: A Decentralized Marketplace for Tokenized Real Estate
AUTORES: Costa, Duarte; 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: Costa, Duarte; 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
Scopus WOS DBLP NO MEU: DBLP
DBLP4
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
Scopus WOS DBLP NO MEU: DBLP
DBLP5
TÃTULO: Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper)
AUTORES: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; 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: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; 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
Scopus WOS DBLP NO MEU: DBLP
DBLP6
TÃTULO: AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
AUTORES: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; 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: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; 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
Scopus WOS DBLP NO MEU: DBLP
DBLP7
TÃTULO: XChainDataGen: A Cross-Chain Dataset From June 2024 to December 2024
AUTORES: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLICAÇÃO: 2025
AUTORES: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
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
Scopus9
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
WOS10
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
WOS