Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



191
TITLE: Low complexity Byzantine-resilient consensus  Full Text
AUTHORS: Correia, M ; Neves, NF ; Lung, LC; Verissimo, P ;
PUBLISHED: 2005, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | DBLP
192
TITLE: Solving vector consensus with a wormhole  Full Text
AUTHORS: Neves, NF ; Correia, M ; Verissimo, P ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | DBLP
193
TITLE: How to tolerate half less one Byzantine nodes in practical distributed systems  Full Text
AUTHORS: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2004, SOURCE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 58
IN MY: ORCID | DBLP
194
TITLE: Intrusion-tolerant architectures: Concepts and design
AUTHORS: Verissimo, PE ; Neves, NF ; Correia, MP ;
PUBLISHED: 2003, SOURCE: ICSE 2002 Workshop on Software Architectures for Dependable Systems, WADS 2002 in ARCHITECTING DEPENDABLE SYSTEMS, VOLUME: 2677
INDEXED IN: Scopus WOS
IN MY: ORCID
195
TITLE: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model  Full Text
AUTHORS: Correia, M ; Lung, LC; Neves, NF ; Verissimo, P ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | DBLP
196
TITLE: Intrusion-Tolerant Architectures: Concepts and Design
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2002, SOURCE: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], VOLUME: 2677
INDEXED IN: DBLP CrossRef: 76
IN MY: DBLP
197
TITLE: The design of a COTS real-time distributed security kernel
AUTHORS: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLISHED: 2002, SOURCE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP
198
TITLE: The architecture of a secure group communication system based on intrusion tolerance
AUTHORS: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLISHED: 2001, SOURCE: 21st IEEE International Conference on Distributed Computing Systems in 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
199
TITLE: Molecular typing and exopolysaccharide biosynthesis of Burkholderia cepacia isolates from a Portuguese Cystic Fibrosis Center
AUTHORS: Richau, JA; Leitao, JH ; Correia, M ; Lito, L; Salgado, MJ; Barreto, C; Cescutti, P; Sa Correia, I;
PUBLISHED: 2000, SOURCE: JOURNAL OF CLINICAL MICROBIOLOGY, VOLUME: 38, ISSUE: 4
INDEXED IN: Scopus WOS
200
TITLE: <title>Integrated dymanic QoS control for multimedia applications</title>
AUTHORS: Joao Bom; Paulo A C Marques; Miguel Correia ; Paulo Pinto;
PUBLISHED: 1998, SOURCE: Broadband European Networks and Multimedia Services
INDEXED IN: CrossRef
IN MY: ORCID
Page 20 of 21. Total results: 203.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service