Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
71
TÃTULO: Hermes: Fault-tolerant middleware for blockchain interoperability
AUTORES: Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono;
PUBLICAÇÃO: 2022, FONTE: Future Gener. Comput. Syst., VOLUME: 129
AUTORES: Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono;
PUBLICAÇÃO: 2022, FONTE: Future Gener. Comput. Syst., VOLUME: 129
72
TÃTULO: SRX-Secure Data Backup and Recovery for SGX Applications
AUTORES: Andrade, Daniel; Silva, Joao; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: IEEE ACCESS, VOLUME: 10
AUTORES: Andrade, Daniel; Silva, Joao; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: IEEE ACCESS, VOLUME: 10
73
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
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

74
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
AUTORES: Daniel Andrade; João Silva; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: IEEE Access, VOLUME: 10
INDEXADO EM:
DBLP

NO MEU:
DBLP

75
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
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

76
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
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

77
TÃTULO: HERMES: Fault-tolerant middleware for blockchain interoperability
AUTORES: Belchior, Rafael; Vasconcelos, Andre; Correia, Miguel; Hardjono, Thomas;
PUBLICAÇÃO: 2022, FONTE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 129
AUTORES: Belchior, Rafael; Vasconcelos, Andre; Correia, Miguel; Hardjono, Thomas;
PUBLICAÇÃO: 2022, FONTE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 129
78
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

NO MEU:
DBLP

79
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

80
TÃTULO: Omega: A Secure Event Ordering Service for the Edge
AUTORES: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 5
AUTORES: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 5