Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



141
TITLE: Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO
AUTHORS: Miguel Correia ; Neeraj Mittal;
PUBLISHED: 2013, SOURCE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 47, ISSUE: 2
INDEXED IN: DBLP
142
TITLE: DepSky. Dependable and Secure Storage in a Cloud-of-Clouds  Full Text
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando André; Paulo Sousa;
PUBLISHED: 2013, SOURCE: TOS - Trans. Storage - ACM Transactions on Storage, VOLUME: 9, ISSUE: 4
INDEXED IN: CrossRef: 152
IN MY: ORCID | CIÊNCIAVITAE
143
TITLE: DEPSKY: Dependable and Secure Storage in a Cloud-of-Clouds  Full Text
AUTHORS: Bessani, A ; Correia, M ; Quaresma, B; Andre, F; Sousa, P;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON STORAGE, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | CIÊNCIAVITAE
144
TITLE: Editors
AUTHORS: Correia, M ; Mittal, N;
PUBLISHED: 2013, SOURCE: 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO 2013 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
145
TITLE: Efficient Byzantine Fault-Tolerance
AUTHORS: Veronese, GS; Correia, M ; Bessani, AN ; Lung, LC; Verissimo, P ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 62, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 268
IN MY: ORCID | CIÊNCIAVITAE
146
TITLE: Nodes' Misbehavior in Vehicular Delay-Tolerant Networks
AUTHORS: Naercio Magaia; Paulo Rogerio Pereira ; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: Conference on Future Internet Communications (CFIC) in 2013 CONFERENCE ON FUTURE INTERNET COMMUNICATIONS (CFIC)
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
147
TITLE: On the Efficiency of Durable State Machine Replication
AUTHORS: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: USENIX ATC
INDEXED IN: Scopus DBLP
148
TITLE: On the Performance of Byzantine Fault-Tolerant MapReduce  Full Text
AUTHORS: Costa, P; Pasin, M; Bessani, AN ; Correia, MP ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
149
TITLE: Securing Energy Metering Software with Automatic Source Code Correction
AUTHORS: Medeiros, I; Neves, NF ; Correia, M ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
150
TITLE: Selfish and malicious behavior in Delay-Tolerant Networks
AUTHORS: Naércio Magaia; Paulo Rogério Pereira ; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: Future Network & Mobile Summit
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 15 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

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