Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 203



191
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
192
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
193
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
194
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
195
TÍTULO: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model  Full Text
AUTORES: Correia, M ; Lung, LC; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2002, FONTE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | DBLP
196
TÍTULO: Intrusion-Tolerant Architectures: Concepts and Design
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2002, FONTE: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], VOLUME: 2677
INDEXADO EM: DBLP CrossRef: 76
NO MEU: DBLP
197
TÍTULO: The design of a COTS real-time distributed security kernel
AUTORES: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLICAÇÃO: 2002, FONTE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP
198
TÍTULO: The architecture of a secure group communication system based on intrusion tolerance
AUTORES: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLICAÇÃO: 2001, FONTE: 21st IEEE International Conference on Distributed Computing Systems in 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
199
TÍTULO: Molecular typing and exopolysaccharide biosynthesis of Burkholderia cepacia isolates from a Portuguese Cystic Fibrosis Center
AUTORES: Richau, JA; Leitao, JH ; Correia, M ; Lito, L; Salgado, MJ; Barreto, C; Cescutti, P; Sa Correia, I;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF CLINICAL MICROBIOLOGY, VOLUME: 38, NÚMERO: 4
INDEXADO EM: Scopus WOS
200
TÍTULO: <title>Integrated dymanic QoS control for multimedia applications</title>
AUTORES: Joao Bom; Paulo A C Marques; Miguel Correia ; Paulo Pinto;
PUBLICAÇÃO: 1998, FONTE: Broadband European Networks and Multimedia Services
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 20 de 21. Total de resultados: 203.

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

Links Úteis

Ajuda

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