Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publications Requiring Validation

31
TITLE: Automatic Generation of Distributed Algorithms with Generative AI
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
32
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
INDEXED IN: WOS
33
TITLE: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTHORS: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
34
TITLE: Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes
AUTHORS: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLISHED: 2023, SOURCE: 26th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) / 8th ISIC Workshop / 1st Care-AI Workshop / 1st MedAGI Workshop / 4th DeCaF Workshop in MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023 WORKSHOPS, VOLUME: 14393
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
35
TITLE: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
INDEXED IN: DBLP
IN MY: DBLP
36
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
INDEXED IN: Scopus
37
TITLE: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report  Full Text
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2022, SOURCE: ACTA MEDICA PORTUGUESA
INDEXED IN: WOS
38
TITLE: Valsalva Retinopathy after a Vomiting Episode  Full Text
AUTHORS: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLISHED: 2022, SOURCE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, ISSUE: 3
INDEXED IN: Scopus WOS
39
TITLE: Bulky Mitral Annulus Caseous Calcification in an Atypical Location
AUTHORS: Correia, Joana Laranjeira; Correia, Miguel;
PUBLISHED: 2022, SOURCE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 119, ISSUE: 6
INDEXED IN: WOS
40
Page 4 of 5. Total results: 50.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service