Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



131
TITLE: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
132
TITLE: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP
133
TITLE: The Final Frontier: Confidentiality and Privacy in the Cloud  Full Text
AUTHORS: Francisco Rocha; Salvador Abreu ; Miguel Correia ;
PUBLISHED: 2011, SOURCE: COMPUTER, VOLUME: 44, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | DBLP
134
TITLE: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTHORS: Correia, M ; Pal, P;
PUBLISHED: 2010, SOURCE: 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus
IN MY: ORCID
135
TITLE: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTHORS: Miguel Correia ; Partha P Pal;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
136
TITLE: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTHORS: Correia, M ; Pal, P;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus CrossRef
IN MY: ORCID
137
TITLE: Active Quorum Systems
AUTHORS: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ;
PUBLISHED: 2010, SOURCE: Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010
INDEXED IN: DBLP
IN MY: DBLP
138
TITLE: Asynchronous Byzantine consensus with 2f+1 processes
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
139
TITLE: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks  Full Text
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 in 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010
INDEXED IN: Scopus DBLP CrossRef: 23
IN MY: ORCID | DBLP
140
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 87
IN MY: ORCID | DBLP
Page 14 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