Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 229



211
TÍTULO: CRUTIAL:: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTORES: Veríssimo, P ; Neves, NF ; Correia, M ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in CRITICAL INFORMATION INFRASTRUCTURES SECURITY, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
212
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | CIÊNCIAVITAE
213
TÍTULO: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTORES: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2006, FONTE: COMPUTER JOURNAL, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 90
NO MEU: ORCID | CIÊNCIAVITAE
214
TÍTULO: Randomized intrusion-tolerant asynchronous services
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
215
TÍTULO: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces  Full Text
AUTORES: Bessani, AN ; Correia, M ; Da Silva Fraga, J; Lung, LC;
PUBLICAÇÃO: 2006, FONTE: 26th IEEE Internationa26th IEEE International Conference on Distributed Computing Systems, ICDCS 2006 in ICDCS, VOLUME: 2006
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
216
TÍTULO: Using attack injection to discover new vulnerabilities
AUTORES: Neves, N ; Antunes, J; Correia, M ; Veríssimo, P ; Neves, R ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | CIÊNCIAVITAE
217
TÍTULO: Low complexity Byzantine-resilient consensus  Full Text
AUTORES: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: DISTRIBUTED COMPUTING, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
NO MEU: ORCID | CIÊNCIAVITAE
218
TÍTULO: Solving vector consensus with a wormhole  Full Text
AUTORES: Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2005, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID | CIÊNCIAVITAE
219
TÍTULO: How to tolerate half less one Byzantine nodes in practical distributed systems  Full Text
AUTORES: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 68
NO MEU: ORCID | CIÊNCIAVITAE
220
TÍTULO: Intrusion-tolerant architectures: Concepts and design
AUTORES: Verissimo, PE ; Neves, NF ; Correia, MP ;
PUBLICAÇÃO: 2003, FONTE: ICSE 2002 Workshop on Software Architectures for Dependable Systems, WADS 2002 in ARCHITECTING DEPENDABLE SYSTEMS, VOLUME: 2677
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 22 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