Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TÃTULO: A deep dive into blockchain interoperability: why it is needed, progress that has been made over the past decade, how it is currently deployed and used, and likely paths of future development Full Text
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
INDEXADO EM: 
WOS
WOS22
TÃTULO: XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges
AUTORES: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2410.02029
AUTORES: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2410.02029
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP23
TÃTULO: FingerCI: Writing industrial process specifications from network traffic Full Text
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
INDEXADO EM: 
Scopus WOS
Scopus WOS24
TÃTULO: FingerCI: Writing industrial process specifications from network traffic
AUTORES: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
AUTORES: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP25
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
26
TÃTULO: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
INDEXADO EM: WOS
WOS27
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
28
TÃTULO: Decentralised Autonomous Organisations for Public Procurement
AUTORES: Felix Monteiro; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
AUTORES: Felix Monteiro; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP29
TÃTULO: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP30
TÃTULO: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Cloud Comput., VOLUME: 11, NÚMERO: 2
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Cloud Comput., VOLUME: 11, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP