Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



161
TITLE: The CRUTIAL reference critical information infrastructure architecture: a blueprint
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2008, SOURCE: Int. J. Syst. Syst. Eng., VOLUME: 1, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
162
TITLE: The Crutial Way of Critical Infrastructure Protection  Full Text
AUTHORS: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2008, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 6, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 53
IN MY: ORCID | DBLP
163
TITLE: WRAITS 2008 - Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems: Foreword
AUTHORS: Correia, M ; Martin, JP;
PUBLISHED: 2008, SOURCE: 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems, WRAITS 2008 in WRAITS 2008 - Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems
INDEXED IN: Scopus
IN MY: ORCID
164
TITLE: Automated rule-based diagnosis through a distributed monitor system  Full Text
AUTHORS: Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel P Correia ; Paulo J Verissimo ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP
165
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
166
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
167
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
168
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
169
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
170
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
Page 17 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