Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



151
TITLE: Clouds-of-Clouds for Dependability and Security: Geo-replication Meets the Cloud
AUTHORS: Miguel Correia ;
PUBLISHED: 2014, SOURCE: 19th Workshop on Parallel Processing (Euro-Par) in EURO-PAR 2013: PARALLEL PROCESSING WORKSHOPS, VOLUME: 8374
INDEXED IN: WOS DBLP
IN MY: DBLP
152
TITLE: DALM-SVD: ACCELERATED SPARSE CODING THROUGH SINGULAR VALUE DECOMPOSITION OF THE DICTIONARY
AUTHORS: Hugo Goncalves ; Miguel Correia ; Xin Li; Aswin Sankaranarayanan; Vitor Tavares ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Image Processing (ICIP) in 2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP)
INDEXED IN: WOS
153
TITLE: MITRA. byzantine fault-tolerant middleware for transaction processing on replicated databases  Full Text
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2014, SOURCE: ACM SIGMOD Record - SIGMOD Rec., VOLUME: 43, ISSUE: 1
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
154
TITLE: MITRA: Byzantine Fault-Tolerant Middleware for Transaction Processing on Replicated Databases  Full Text
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2014, SOURCE: SIGMOD RECORD, VOLUME: 43, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
155
TITLE: Non-Blocking Atomic Commitment with Byzantine Faults
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLISHED: 2014, SOURCE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC)
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
156
TITLE: SCFS: A Shared Cloud-backed File System
AUTHORS: Alysson Neves Bessani ; Ricardo Mendes; Tiago Oliveira; Nuno Ferreira Neves ; Miguel Correia ; Marcelo Pasin; Paulo Veríssimo ;
PUBLISHED: 2014, SOURCE: 2014 USENIX Annual Technical Conference, USENIX ATC 2014 in 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.
INDEXED IN: Scopus DBLP
IN MY: DBLP
157
TITLE: BFT-TO: Intrusion Tolerance with Less Replicas
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: COMPUTER JOURNAL, VOLUME: 56, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
158
TITLE: Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks  Full Text
AUTHORS: Henrique Moniz ; Nuno F Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON MOBILE COMPUTING, VOLUME: 12, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 25
IN MY: ORCID | DBLP | CIÊNCIAVITAE
159
TITLE: Byzantine Fault-Tolerant State Machine Replication with Twin Virtual Machines
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC)
INDEXED IN: WOS
160
TITLE: Byzantine fault-tolerant state machine replication with twin virtual machines
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications, ISCC 2013 in 2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 16 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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