Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
TITLE: AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; 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
DBLP12
TITLE: XChainDataGen: A Cross-Chain Dataset From June 2024 to December 2024
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking
AUTHORS: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLISHED: 2025, SOURCE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
AUTHORS: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLISHED: 2025, SOURCE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP14
TITLE: Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity
AUTHORS: Pedro C Henriques; Miguel Correia;
PUBLISHED: 2025, SOURCE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
AUTHORS: Pedro C Henriques; Miguel Correia;
PUBLISHED: 2025, SOURCE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP15
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
Scopus16
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
WOS17
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
WOS18
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
19
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
WOS20
TITLE: Assessing the use of pre-trained transformers to classify customer reviews
AUTHORS: Alves, MD; Lobo, AG; Reis, AM;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Alves, MD; Lobo, AG; Reis, AM;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus
Scopus