Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



171
TITLE: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010  Full Text
AUTHORS: Miguel Correia ; Partha P Pal;
PUBLISHED: 2010, SOURCE: 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010 in DSN
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
172
TITLE: Active Quorum Systems
AUTHORS: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ;
PUBLISHED: 2010, SOURCE: HotDep
INDEXED IN: DBLP
173
TITLE: Asynchronous Byzantine consensus with 2f+1 processes  Full Text
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Lau Cheuk Lung;
PUBLISHED: 2010, SOURCE: SAC
INDEXED IN: Scopus DBLP CrossRef: 26
IN MY: ORCID | CIÊNCIAVITAE
174
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: HASE
INDEXED IN: Scopus DBLP CrossRef: 56
IN MY: ORCID | CIÊNCIAVITAE
175
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTHORS: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 104
IN MY: ORCID | CIÊNCIAVITAE
176
TITLE: Turquois: Byzantine Consensus in Wireless Ad hoc Networks
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ;
PUBLISHED: 2010, SOURCE: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | CIÊNCIAVITAE
177
TITLE: Vulnerability Discovery with Attack Injection  Full Text
AUTHORS: Antunes, J; Neves, N ; Correia, M ; Verissimo, P ; Neves, R ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 34
IN MY: ORCID | CIÊNCIAVITAE
178
TITLE: 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009
AUTHORS: Bagchi, S; Correia, M ; Pal, P;
PUBLISHED: 2009, SOURCE: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
179
TITLE: A distributed systems approach to airborne self-separation
AUTHORS: Moniz, H; Tedeschi, A; Neves, NF ; Correia, M ;
PUBLISHED: 2009, SOURCE: Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
180
TITLE: An Efficient Byzantine-Resilient Tuple Space
AUTHORS: Bessani, AN ; Correia, M ; Fraga, JD; Lung, LC;
PUBLISHED: 2009, SOURCE: 6th IEEE International Symposium on Network Computing and Applications in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 58, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
Page 18 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

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