Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 259



241
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
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: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
242
TÍTULO: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTORES: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: COMPUTER JOURNAL, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 71
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
243
TÍTULO: Randomized intrusion-tolerant asynchronous services
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
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: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
244
TÍTULO: Sharing memory between Byzantine processes using policy-enforced tuple spaces
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 Proceedings - International Conference on Distributed Computing Systems, VOLUME: 2006
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
245
TÍTULO: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
AUTORES: Alysson Neves Bessani ; Joni da Silva Fraga; Miguel Correia ; Lau Cheuk Lung;
PUBLICAÇÃO: 2006, FONTE: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
246
TÍTULO: Using attack injection to discover new vulnerabilities
AUTORES: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
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: 29
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
247
TÍTULO: Low complexity Byzantine-resilient consensus  Full Text
AUTORES: Correia, M ; Neves, NF ; Lung, LC; Verissimo, P ;
PUBLICAÇÃO: 2005, FONTE: DISTRIBUTED COMPUTING, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
248
TÍTULO: Solving vector consensus with a wormhole  Full Text
AUTORES: Neves, NF ; Correia, M ; Verissimo, P ;
PUBLICAÇÃO: 2005, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
249
TÍTULO: How to tolerate half less one Byzantine nodes in practical distributed systems  Full Text
AUTORES: Correia, M ; Neves, NF ; Verissimo, 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: 58
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
250
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 25 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