Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
41
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
WOS42
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
DBLP43
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP44
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
DBLP45
TITLE: Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Belchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 73, ISSUE: 2
AUTHORS: Belchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 73, ISSUE: 2
46
TITLE: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
AUTHORS: Claudio Correia; Rita Prates; Miguel Correia; Luis Rodrigues;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
AUTHORS: Claudio Correia; Rita Prates; Miguel Correia; Luis Rodrigues;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
47
TITLE: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTHORS: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
AUTHORS: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP48
TITLE: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
AUTHORS: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
AUTHORS: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP49
TITLE: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTHORS: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLISHED: 2023, SOURCE: J. Syst. Archit., VOLUME: 145
AUTHORS: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLISHED: 2023, SOURCE: J. Syst. Archit., VOLUME: 145
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP50
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
AUTHORS: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
