Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações a aguardar confirmação

1
TÍTULO: Exploiting Liquidity Exhaustion Attacks in Intent-Based Cross-Chain Bridges
AUTORES: André Augusto; Christof Ferreira Torres; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2602.17805
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: XChainWatcher: Identifying Anomalies in Cross-Chain Bridges
AUTORES: Augusto, Andre; Belchior, Rafael; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 26th International Middleware Conference-MIDDLEWARE in PROCEEDINGS OF THE TWENTY-SIXTH ACM INTERNATIONAL MIDDLEWARE CONFERENCE, MIDDLEWARE 2025
INDEXADO EM: WOS DBLP
NO MEU: DBLP
3
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
INDEXADO EM: WOS
4
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
5
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
6
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
7
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
8
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
9
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
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking
AUTORES: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
Página 1 de 4. Total de resultados: 31.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service