Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 203



111
TÍTULO: On the Efficiency of Durable State Machine Replication
AUTORES: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2013, FONTE: 2013 USENIX Annual Technical Conference, USENIX ATC 2013 in 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
112
TÍTULO: On the Performance of Byzantine Fault-Tolerant MapReduce  Full Text
AUTORES: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel P Correia ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
113
TÍTULO: Securing Energy Metering Software with Automatic Source Code Correction
AUTORES: Iberia Medeiros; Nuno F Neves ; Miguel Correia ;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
114
TÍTULO: Selfish and malicious behavior in Delay-Tolerant Networks
AUTORES: Naércio Magaia; Paulo Rogério Pereira; Miguel P Correia ;
PUBLICAÇÃO: 2013, FONTE: 2013 Future Network and Mobile Summit, FutureNetworkSummit 2013 in 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
115
TÍTULO: 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
AUTORES: Cristian Constantinescu; Miguel P Correia ;
PUBLICAÇÃO: 2012, FONTE: EDCC
INDEXADO EM: DBLP
NO MEU: DBLP
116
117
TÍTULO: Message from the program committee chair
AUTORES: Correia, MP ;
PUBLICAÇÃO: 2012, FONTE: 9th European Dependable Computing Conference, EDCC 2012 in Proceedings - 9th European Dependable Computing Conference, EDCC 2012
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
118
TÍTULO: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds  Full Text
AUTORES: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
119
TÍTULO: Practical Hardening of Crash-Tolerant Systems
AUTORES: Miguel Correia ; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini;
PUBLICAÇÃO: 2012, FONTE: 2012 USENIX Annual Technical Conference, USENIX ATC 2012 in 2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
120
TÍTULO: Software execution protection in the cloud
AUTORES: Correia, M ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on Dependable Cloud Computing, EWDCC 2012 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 12 de 21. Total de resultados: 203.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service