Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
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
DBLP12
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
DBLP13
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
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
Scopus DBLP NO MEU: DBLP
DBLP14
TÃTULO: Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity
AUTORES: Pedro C Henriques; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
AUTORES: Pedro C Henriques; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP15
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
Scopus16
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
WOS17
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
WOS18
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
19
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
WOS20
TÃTULO: Assessing the use of pre-trained transformers to classify customer reviews
AUTORES: Alves, MD; Lobo, AG; Reis, AM;
PUBLICAÇÃO: 2022, FONTE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management
AUTORES: Alves, MD; Lobo, AG; Reis, AM;
PUBLICAÇÃO: 2022, FONTE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management
INDEXADO EM: Scopus
Scopus