Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Miguel Nuno Dias Alves Pupo Correia
AuthID:
R-000-DA1
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (135)
Article (66)
Unpublished (21)
Editorial Material (3)
Proceedings (2)
Book Chapter (1)
Article in Press (1)
Year Start - End:
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
-
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 229
151
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
152
TÃTULO:
Implementation of an ATCA/AXIe Board for Fast Control and Data Acquisition Systems of Nuclear Fusion Devices
AUTORES:
Antonio J N Batista
;
Carlos Leong
;
Vasco Bexiga
;
Antonio P Rodrigues
;
Alvaro Combo
;
Bernardo B Carvalho
; Paulo F Carvalho;
Joao Fortunato
;
Bruno Santos
;
Pedro Carvalho
;
Miguel Correia
;
Joao P Teixeira
;
Isabel C Teixeira
;
Jorge Sousa
;
Bruno Goncalves
;
Carlos A F Varandas
;
PUBLICAÇÃO:
2012
,
FONTE:
18th IEEE-NPSS Real Time Conference (RT)
in
2012 18TH IEEE-NPSS REAL TIME CONFERENCE (RT)
INDEXADO EM:
Scopus
WOS
CrossRef
153
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
|
CIÊNCIAVITAE
154
TÃTULO:
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds
Full Text
AUTORES:
Correia, M
; Costa, P; Pasin, M;
Bessani, A
;
Ramos, F
;
Verissimo, P
;
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
|
CIÊNCIAVITAE
155
TÃTULO:
Practical Hardening of Crash-Tolerant Systems
AUTORES:
Miguel Correia
; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini;
PUBLICAÇÃO:
2012
,
FONTE:
USENIX ATC
INDEXADO EM:
Scopus
DBLP
156
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
|
CIÊNCIAVITAE
157
TÃTULO:
Vers une plate-forme MapReduce tolérant les fautes byzantines
AUTORES:
Luciana Arantes;
Alysson Neves Bessani
;
Vinicius Vielmo Cogo
;
Miguel Correia
; Pedro Costa; Jonathan Lejeune; Piffaretti, M; Olivier Marin; Marcelo Pasin; Pierre Sens; Fabrício Silva; Julien Sopena;
PUBLICAÇÃO:
2012
,
FONTE:
Tech. Sci. Informatiques,
VOLUME:
31,
NÚMERO:
8-10
INDEXADO EM:
DBLP
CrossRef
158
TÃTULO:
Anomaly-based intrusion detection in software as a service
AUTORES:
Gustavo Nascimento;
Miguel Correia
;
PUBLICAÇÃO:
2011
,
FONTE:
DSN Workshops
INDEXADO EM:
Scopus
DBLP
CrossRef
:
31
NO MEU:
ORCID
|
CIÊNCIAVITAE
159
TÃTULO:
Byzantine consensus in asynchronous message-passing systems: a survey
AUTORES:
Miguel Correia
; Giuliana Santos Veronese;
Nuno Ferreira Neves
;
Paulo Veríssimo
;
PUBLICAÇÃO:
2011
,
FONTE:
Int. J. Crit. Comput. Based Syst.,
VOLUME:
2,
NÚMERO:
2
INDEXADO EM:
Scopus
DBLP
CrossRef
:
38
NO MEU:
ORCID
|
CIÊNCIAVITAE
160
TÃTULO:
Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes
AUTORES:
Pedro A R S Costa; Marcelo Pasin;
Alysson Neves Bessani
;
Miguel Correia
;
PUBLICAÇÃO:
2011
,
FONTE:
CloudCom
INDEXADO EM:
Scopus
DBLP
CrossRef
:
25
NO MEU:
ORCID
|
CIÊNCIAVITAE
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 16 de 23. Total de resultados: 229.
<<
<
12
13
14
15
16
17
18
19
20
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2026 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service