Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
61
TÃTULO: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTORES: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
AUTORES: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
62
TÃTULO: A Brief History of Blockchain Interoperability
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
63
TÃTULO: A Brief History of Blockchain Interoperability
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
64
TÃTULO: A Brief History of Blockchain Interoperability
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2023
65
TÃTULO: SoK: Security and Privacy of Blockchain Interoperability
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2023
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2023
66
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
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
DBLP NO MEU: DBLP
DBLP67
TÃTULO: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
AUTORES: Medeiros, I; Neves, N ; Correia, M;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, NÚMERO: 2
AUTORES: Medeiros, I; Neves, N ; Correia, M;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, NÚMERO: 2
68
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
69
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
70
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
Scopus DBLP NO MEU: DBLP
DBLP