Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 259



211
TÍTULO: DepSpace: A Byzantine Fault-Tolerant Coordination Service
AUTORES: Alysson Neves Bessani ; Eduardo Pelison Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLICAÇÃO: 2008, FONTE: 3rd ACM European Conference on Computer Systems (EuroSys 08) in EUROSYS'08: PROCEEDINGS OF THE EUROSYS 2008 CONFERENCE
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
212
TÍTULO: DepSpace: a byzantine fault-tolerant coordination service
AUTORES: Alysson Neves Bessani ; Eduardo Adílio Pelinson Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLICAÇÃO: 2008, FONTE: 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, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
213
TÍTULO: Finite memory: A vulnerability of intrusion-tolerant systems
AUTORES: Veronese, GS; Correia, M ; Lau, CL; Verissimo, P ;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
214
TÍTULO: On Byzantine generals with alternative plans  Full Text
AUTORES: Miguel Correia ; Alysson Neves Bessani ; Paulo Verissimo ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 68, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
215
TÍTULO: The CRUTIAL architecture for critical information infrastructures
AUTORES: Verissimo, P ; Neves, NF ; Correia, M ; Deswarte, Y; El Kalam, AA; Bondavalli, A; Daidone, A;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5135 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
216
TÍTULO: The CRUTIAL reference critical information infrastructure architecture: A blueprint
AUTORES: Verissimo, P ; Neves, NF ; Correia, M ;
PUBLICAÇÃO: 2008, FONTE: International Journal of System of Systems Engineering, VOLUME: 1, NÚMERO: 1-2
INDEXADO EM: Scopus CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
217
TÍTULO: The CRUTIAL reference critical information infrastructure architecture: a blueprint
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2008, FONTE: Int. J. Syst. Syst. Eng., VOLUME: 1, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
218
TÍTULO: The Crutial Way of Critical Infrastructure Protection  Full Text
AUTORES: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2008, FONTE: IEEE SECURITY & PRIVACY, VOLUME: 6, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 53
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
219
TÍTULO: WRAITS 2008 - Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems: Foreword
AUTORES: Correia, M ; Martin, JP;
PUBLICAÇÃO: 2008, FONTE: 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems, WRAITS 2008 in WRAITS 2008 - Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
220
TÍTULO: Automated rule-based diagnosis through a distributed monitor system  Full Text
AUTORES: Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel P Correia ; Paulo J Verissimo ;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 22 de 26. Total de resultados: 259.

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

Links Úteis

Ajuda

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