Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



151
TITLE: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces  Full Text
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 20, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
152
TITLE: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces  Full Text
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 20, ISSUE: 3
INDEXED IN: DBLP CrossRef: 6
IN MY: ORCID | DBLP
153
TITLE: Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary  Full Text
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 35
IN MY: ORCID | DBLP
154
TITLE: DepSpace. a byzantine fault-tolerant coordination service  Full Text
AUTHORS: Alysson Neves Bessani ; Eduardo Pelison Alchieri; Miguel Correia ; Joni Silva Fraga;
PUBLISHED: 2008, SOURCE: ACM SIGOPS Operating Systems Review - SIGOPS Oper. Syst. Rev., VOLUME: 42, ISSUE: 4
INDEXED IN: CrossRef: 6
IN MY: ORCID
155
TITLE: DepSpace: A Byzantine Fault-Tolerant Coordination Service
AUTHORS: Alysson Neves Bessani ; Eduardo Pelison Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLISHED: 2008, SOURCE: 3rd ACM European Conference on Computer Systems (EuroSys 08) in EUROSYS'08: PROCEEDINGS OF THE EUROSYS 2008 CONFERENCE
INDEXED IN: Scopus WOS
IN MY: ORCID
156
TITLE: DepSpace: a byzantine fault-tolerant coordination service
AUTHORS: Alysson Neves Bessani ; Eduardo Adílio Pelinson Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLISHED: 2008, SOURCE: 3rd ACM European Conference on Computer Systems, EuroSys'08 in Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, VOLUME: 42, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
157
TITLE: Finite memory: A vulnerability of intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lau, CL; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 in Proceedings of the 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
158
TITLE: On Byzantine generals with alternative plans  Full Text
AUTHORS: Miguel Correia ; Alysson Neves Bessani ; Paulo Verissimo ;
PUBLISHED: 2008, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 68, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
159
TITLE: The CRUTIAL architecture for critical information infrastructures
AUTHORS: Verissimo, P ; Neves, NF ; Correia, M ; Deswarte, Y; El Kalam, AA; Bondavalli, A; Daidone, A;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5135 LNCS
INDEXED IN: Scopus
IN MY: ORCID
160
TITLE: The CRUTIAL reference critical information infrastructure architecture: A blueprint
AUTHORS: Verissimo, P ; Neves, NF ; Correia, M ;
PUBLISHED: 2008, SOURCE: International Journal of System of Systems Engineering, VOLUME: 1, ISSUE: 1-2
INDEXED IN: Scopus CrossRef: 16
IN MY: ORCID
Page 16 of 21. Total results: 203.

A place for researchers and their institutions

Useful Links

Get Help

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