Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
TÃTULO: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTORES: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & SECURITY, VOLUME: 132
AUTORES: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & SECURITY, VOLUME: 132
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP32
TÃTULO: Automatic Generation of Distributed Algorithms with Generative AI
AUTORES: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP33
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
WOS34
TÃTULO: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTORES: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
AUTORES: Correia, Miguel; Oliveira, Wellington; Cecilio, Jose;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 145
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP35
TÃTULO: Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes
AUTORES: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP36
TÃTULO: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTORES: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2312.05714
AUTORES: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2312.05714
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP37
TÃTULO: Learning to generate Reliable Broadcast Algorithms
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2208.00525
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2208.00525
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP38
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
Scopus39
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: 2022, FONTE: ACTA MEDICA PORTUGUESA
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2022, FONTE: ACTA MEDICA PORTUGUESA
INDEXADO EM: WOS
WOS40
TÃTULO: Valsalva Retinopathy after a Vomiting Episode Full Text
AUTORES: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLICAÇÃO: 2022, FONTE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, NÚMERO: 3
AUTORES: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLICAÇÃO: 2022, FONTE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS