Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TITLE: Do You Need a Distributed Ledger Technology Interoperability Solution?
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
22
TITLE: Decentralised Autonomous Organisations for Public Procurement
AUTHORS: Monteiro, Felix; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
AUTHORS: Monteiro, Felix; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
23
TITLE: Deduplication vs Privacy Tradeoffs in Cloud Storage
AUTHORS: Silva, Rodrigo; Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTHORS: Silva, Rodrigo; Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
24
TITLE: Decentralised Autonomous Organisations for Public Procurement
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP25
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP26
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
28
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
29
TITLE: Convolutional Neural Network With Genetic Algorithm for Predicting Energy Consumption in Public Buildings
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: 
WOS
WOS30
TITLE: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
INDEXED IN: 
Scopus WOS
Scopus WOS