Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



91
TITLE: Automatic detection and correction of web application vulnerabilities using data mining to predict false positives
AUTHORS: Iberia Medeiros; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2014, SOURCE: 23rd International Conference on World Wide Web, WWW 2014 in 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014
INDEXED IN: Scopus DBLP CrossRef: 44
IN MY: ORCID | DBLP
92
TITLE: Cloud Computing Dependability. Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing  Full Text
AUTHORS: Miguel Correia ; Neeraj Mittal;
PUBLISHED: 2014, SOURCE: ACM SIGOPS Operating Systems Review - SIGOPS Oper. Syst. Rev., VOLUME: 48, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
93
TITLE: Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing
AUTHORS: Miguel Correia ; Neeraj Mittal;
PUBLISHED: 2014, SOURCE: 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO 2013 and Symposium on Operating Systems Principles 2013, SOSP 2013 in ACM SIGOPS Oper. Syst. Rev., VOLUME: 48, ISSUE: 2
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
94
TITLE: Clouds-of-clouds for dependability and security: Geo-replication meets the cloud
AUTHORS: Correia, M ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Parallel Processing Workshops, Euro-Par 2013 - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8374 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
95
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
96
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
97
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
98
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
99
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
100
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
Page 10 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