Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações a aguardar confirmação

31
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
32
TÍTULO: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTORES: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
INDEXADO EM: DBLP
NO MEU: DBLP
33
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
INDEXADO EM: DBLP
NO MEU: DBLP
34
TÍTULO: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTORES: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXADO EM: DBLP
NO MEU: DBLP
35
TÍTULO: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTORES: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLICAÇÃO: 2023, FONTE: J. Syst. Archit., VOLUME: 145
INDEXADO EM: DBLP
NO MEU: DBLP
36
TÍTULO: A Survey on Blockchain Interoperability: Past, Present, and Future Trends
AUTORES: Rafael Belchior; André Vasconcelos; Sérgio Guerreiro; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: ACM Comput. Surv., VOLUME: 54, NÚMERO: 8
INDEXADO EM: DBLP
NO MEU: DBLP
37
TÍTULO: FingerCI: generating specifications for critical infrastructures
AUTORES: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 in SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
38
TÍTULO: SRX-Secure Data Backup and Recovery for SGX Applications
AUTORES: Daniel Andrade; João Silva; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: IEEE Access, VOLUME: 10
INDEXADO EM: DBLP
NO MEU: DBLP
39
TÍTULO: Anonymous Trusted Data Relocation for TEEs
AUTORES: Vasco Guita; Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: 37th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2022 in ICT Systems Security and Privacy Protection - 37th IFIP TC 11 International Conference, SEC 2022, Copenhagen, Denmark, June 13-15, 2022, Proceedings, VOLUME: 648
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
40
TÍTULO: A survey on business process view integration: past, present and future applications to blockchain
AUTORES: Rafael Belchior; Sérgio Guerreiro; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: Bus. Process. Manag. J., VOLUME: 28, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
Página 4 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service