Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 229



191
TÍTULO: On Byzantine generals with alternative plans  Full Text
AUTORES: Correia, M ; Bessani, AN ; Verissimo, P ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 68, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
192
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
193
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
194
TÍTULO: The Crutial Way of Critical Infrastructure Protection  Full Text
AUTORES: Bessani, AN ; Sousa, P; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2008, FONTE: IEEE SECURITY & PRIVACY, VOLUME: 6, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 63
NO MEU: ORCID | CIÊNCIAVITAE
195
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
196
TÍTULO: Automated rule-based diagnosis through a distributed monitor system  Full Text
AUTORES: Khanna, G; Cheng, MY; Varadharajan, P; Bagchi, S; Correia, MP ; Verissimo, PJ ;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | CIÊNCIAVITAE
197
TÍTULO: Decoupled quorum-based Byzantine-Resilient coordination in open distributed systems
AUTORES: Bessani, AN ; Correia, M ; Fraga, JD; Lung, LC;
PUBLICAÇÃO: 2007, FONTE: 6th IEEE International Symposium on Network Computing and Applications in SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
198
TÍTULO: Evaluating Byzantine quorum systems  Full Text
AUTORES: Dantas, WS; Bessani, AN ; Fraga, JD; Correia, M ;
PUBLICAÇÃO: 2007, FONTE: 26th IEEE International Symposium on Reliable Distributed Systems in SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: WOS DBLP CrossRef: 5
199
TÍTULO: Evaluating Byzantine quorum systems  Full Text
AUTORES: Dantas, WS; Bessani, AN ; Da Silva Fraga, J; Correia, M ;
PUBLICAÇÃO: 2007, FONTE: 26th IEEE International Symposium on Reliable Distributed Systems, SRDS 2007 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
200
TÍTULO: Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids
AUTORES: Favarim, F; Fraga, JD; Lung, LC; Correia, M ; Santos, JF;
PUBLICAÇÃO: 2007, FONTE: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing in 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
Página 20 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