Skip navigation
Página principal
Percorrer:
Comunidades
& Colecções
Percorrer Itens por:
Data de publicação
Autor
Orientador
Título
Assunto
Tipo de Documento
Tipo de Acesso
Índice de Autoridade
Ajuda
Idioma
português
english
Entrar:
Área Pessoal
Serviço de alertas
Editar conta
Repositório da Universidade de Lisboa
Percorrer por autor Paulo Verissimo
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
Em ordem:
ascendente
descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
5
10
15
20
25
30
35
40
45
50
Mostrar resultados 1-9 de 9.
Data
Título
Autor(es)
Tipo
Acesso
2008
Detection and Prediction of Resource-Exhaustion Vulnerabilities
João Antunes
;
Nuno Ferreira Neves
;
Paulo Verissimo
article
2008
Finite Memory: a Vulnerability of Intrusion-Tolerant Systems
Giuliana Santos Veronese
;
Miguel Correia
;
Lau Cheuk Lung
;
Paulo Verissimo
article
2009
Intrusion-Resilient Middleware Design and Validation
Paulo Verissimo
;
Miguel Correia
;
Nuno F. Neves
;
Paulo Sousa
bookPart
2008
Minimal Byzantine Fault Tolerance
Giuliana Santos Veronese
;
Miguel Correia
;
Lau Cheuk Lung
;
Alysson Neves Bessani
;
Paulo Verissimo
article
2008
On Byzantine Generals with Alternative Plans
Miguel Correia
;
Alysson Neves Bessani
;
Paulo Verissimo
article
2008
Preliminary Specification of Services and Protocols
Nuno Neves
;
Paulo Verissimo
article
2009
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
Henrique Moniz
;
Nuno F. Neves
;
Miguel Correia
;
Paulo Verissimo
article
2008
The CRUTIAL Architecture for Critical Information Infrastructures
Paulo Verissimo
;
Nuno F. Neves
;
Miguel Correia
;
Y. Deswarte
;
A. Abou El Kalam
;
A. Bondavalli
;
A. Daidone
bookPart
2008
The CRUTIAL reference critical information infrastructure architecture: a blueprint
Paulo Verissimo
;
Nuno F. Neves
;
Miguel Correia
article