Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



221
TITLE: Decoupled quorum-based Byzantine-Resilient coordination in open distributed systems
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2007, SOURCE: 6th IEEE International Symposium on Network Computing and Applications in SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
222
TITLE: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2007, SOURCE: Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
223
TITLE: Evaluating Byzantine quorum systems
AUTHORS: Wagner Saback Dantas; Alysson Neves Bessani ; Joni da Silva Fraga; Miguel Correia ;
PUBLISHED: 2007, SOURCE: 26th IEEE International Symposium on Reliable Distributed Systems in SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: WOS
224
TITLE: Evaluating Byzantine Quorum Systems
AUTHORS: Wagner Saback Dantas; Alysson Neves Bessani ; Joni da Silva Fraga; Miguel Correia ;
PUBLISHED: 2007, SOURCE: 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
INDEXED IN: DBLP CrossRef: 4
IN MY: DBLP
225
TITLE: Evaluating Byzantine quorum systems  Full Text
AUTHORS: Dantas, WS; Bessani, AN ; Da Silva Fraga, J; Correia, M ;
PUBLISHED: 2007, SOURCE: 26th IEEE International Symposium on Reliable Distributed Systems, SRDS 2007 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
226
TITLE: Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids
AUTHORS: Fabio Favarim; Joni da Silva Fraga; Lau Cheuk Lung; Miguel Correia ; Joao Felipe Santos;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
227
TITLE: GRIDTS: A new approach for fault-tolerant scheduling in grid computing
AUTHORS: Fabio Favarim; Joni da Silva Fraga; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2007, SOURCE: 6th IEEE International Symposium on Network Computing and Applications in SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
228
TITLE: Intrusion tolerance in wireless environments: an experimental evaluation
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 3
IN MY: DBLP
229
TITLE: Intrusion tolerance in wireless environments: An experimental evaluation
AUTHORS: Moniz, H; Neves, NF ; Correia, M ; Casimiro, A ; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
230
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 23 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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