Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 229



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service