Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações a aguardar confirmação

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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
32
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
33
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: CCS
INDEXADO EM: DBLP
NO MEU: DBLP
34
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
INDEXADO EM: WOS
35
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
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
36
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
37
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
38
TÍTULO: A survey on business process view integration: past, present and future applications to blockchain
AUTORES: Belchior, Rafael; Guerreiro, Sergio ; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: BUSINESS PROCESS MANAGEMENT JOURNAL, VOLUME: 28, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: DBLP
39
TÍTULO: FingerCI: Generating Specifications for Critical Infrastructures
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
40
TÍTULO: Anonymous Trusted Data Relocation for TEEs
AUTORES: Guita, Vasco; Andrade, Daniel; Silva, Joao Nuno ; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: 37th IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection (IFIP SEC) in ICT SYSTEMS SECURITY AND PRIVACY PROTECTION (SEC 2022), VOLUME: 648
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
Página 4 de 7. Total de resultados: 67.

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

Links Úteis

Ajuda

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