Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



41
TITLE: ComSEC: Secure Communications for Baggage Handling Systems
AUTHORS: Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2022, SOURCE: International Workshops which were held in conjunction with 27th European Symposium on Research in Computer Security, ESORICS 2022 in CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, VOLUME: 13785 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
42
TITLE: Do You Need a Distributed Ledger Technology Interoperability Solution?
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2022
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Do You Need a Distributed Ledger Technology Interoperability Solution?
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2022
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: FingerCI. generating specifications for critical infrastructures
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2022, SOURCE: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
INDEXED IN: CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
45
TITLE: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2022
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: Hermes: Fault-tolerant middleware for blockchain interoperability
AUTHORS: Rafael Belchior; André Vasconcelos; Miguel Correia ; Thomas Hardjono;
PUBLISHED: 2022, SOURCE: Future Gener. Comput. Syst., VOLUME: 129
INDEXED IN: DBLP CrossRef
IN MY: ORCID
47
TITLE: HERMES: Fault-tolerant middleware for blockchain interoperability
AUTHORS: Belchior, Rafael; Vasconcelos, Andre; Correia, Miguel ; Hardjono, Thomas;
PUBLISHED: 2022, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 129
INDEXED IN: WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: Integrating an academic management system with blockchain: A case study
AUTHORS: Guerreiro, Sergio ; Ferreira, Joao F.; Fonseca, Tiago; Correia, Miguel ;
PUBLISHED: 2022, SOURCE: BLOCKCHAIN-RESEARCH AND APPLICATIONS, VOLUME: 3, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: Is My Perspective Better Than Yours? Blockchain Interoperability with Views
AUTHORS: Rafael Belchior; Limaris Torres; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2022
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Is My Perspective Better Than Yours? Blockchain Interoperability with Views
AUTHORS: Rafael Belchior; Limaris Torres; Jonas Pfannschmid; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2022
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service