Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
TITLE: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP32
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
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
Scopus WOS DBLP IN MY: DBLP
DBLP33
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
WOS34
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
AUTHORS: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP35
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
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
Scopus WOS DBLP IN MY: DBLP
DBLP36
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
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
DBLP IN MY: DBLP
DBLP37
TITLE: Learning to generate Reliable Broadcast Algorithms
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.00525
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.00525
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP38
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
Scopus39
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
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2022, SOURCE: ACTA MEDICA PORTUGUESA
INDEXED IN: WOS
WOS40
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
AUTHORS: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLISHED: 2022, SOURCE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS