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 (158)
Article (68)
Unpublished (23)
Article in Press (4)
Editorial Material (3)
Proceedings (2)
Book Chapter (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
-
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: 259
171
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
172
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
173
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
174
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
|
CIÊNCIAVITAE
175
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
176
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
177
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
NO MEU:
DBLP
178
TÃTULO:
Anomaly-based intrusion detection in software as a service
AUTORES:
Gustavo Nascimento
;
Miguel Correia
;
PUBLICAÇÃO:
2011
,
FONTE:
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011
in
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011.
INDEXADO EM:
Scopus
DBLP
CrossRef
:
14
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
179
TÃTULO:
Byzantine consensus in asynchronous message-passing systems: A survey
AUTORES:
Correia, M
;
Veronese, GS
;
Neves, NF
;
Verissimo, P
;
PUBLICAÇÃO:
2011
,
FONTE:
International Journal of Critical Computer-Based Systems,
VOLUME:
2,
NÚMERO:
2
INDEXADO EM:
Scopus
DBLP
CrossRef
:
29
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
180
TÃTULO:
Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes
AUTORES:
Pedro Costa
; Marcelo Pasin;
Alysson Neves Bessani
;
Miguel Correia
;
PUBLICAÇÃO:
2011
,
FONTE:
2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
in
IEEE 3rd International Conference on Cloud Computing Technology and Science, CloudCom 2011, Athens, Greece, November 29 - December 1, 2011
INDEXADO EM:
Scopus
DBLP
CrossRef
:
15
NO MEU:
ORCID
|
DBLP
|
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 18 de 26. Total de resultados: 259.
<<
<
14
15
16
17
18
19
20
21
22
>
>>
×
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
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service